🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Measuring the Quality of B Abstract Machines with ISO/IEC 25010

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

cs.SE 🏛 Theoretical Aspects of Software Engineering 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Path homology as a stronger analogue of cyclomatic complexity

Steve Huntsman

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2

Robin Bloomfield, Gareth Fletcher, ... (+9 more)

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Software Engineering und Software Engineering Forschung im Zeitalter der Digitalisierung

Michael Felderer, Ralf Reussner, Bernhard Rumpe

cs.SE 🏛 Informatik-Spektrum 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application

Jan Richter, Bestoun S. Ahmed, ... (+2 more)

cs.SE 🏛 ICSTVV W 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Model-Based Cloud Resource Management with TOSCA and OCCI

Stéphanie Challita, Fabian Korte, ... (+4 more)

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Formal specification of a security framework for smart contracts

Mikhail Mandrykin, Jake O'Shannessy, ... (+2 more)

cs.SE 🏛 FM W 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Dynamic Service Composition Orchestrated by Cognitive Agents in Mobile & Pervasive Computing

Oscar J. Romero

cs.SE 🏛 World Congress on Services 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

SeMA: A Design Methodology for Building Secure Android Apps

Joydeep Mitra, Venkatesh-Prasad Ranganath

cs.SE 🏛 ASE W 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Automated Deductive Verification for Ladder Programming

Denis Cousineau, David Mentré, Hiroaki Inoue

cs.SE 🏛 F-IDE@FM 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

A Reference Architecture and Modelling Principles for Architectural Stability based on Self-Awareness: Case of Cloud Architectures

Maria Salama, Rami Bahsoon, Rajkumar Buyya

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Optimization in Software Engineering -- A Pragmatic Approach

Guenther Ruhe

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Validation of Automatically Generated Patches: An Appetizer

Ali Ghanbari

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade

Marco Mobilio, Oliviero Riganelli, ... (+2 more)

cs.SE 🏛 ICSRE 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Systematic literature review protocol. Learning-outcomes and teaching-learning process: a Bloom's taxonomy perspective

Samuel Sepúlveda, Mauricio Diéguez, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Configuration-dependent Fault Localization

Son Nguyen

cs.SE 🏛 ICSE 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Model-Driven Process Enactment for NFV Systems with MAPLE

Sadaf Mustafiz, Omar Hassane, ... (+3 more)

cs.SE 🏛 J.SSM 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Design Smell Analysis for Developing and Established Open Source Java Software

Asif Imran, Tevfik Kosar

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Seamless design of information system architecture based on adaptive clustering method

Grigory Tsiperman

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Structured Spreadsheet Modelling and Implementation with Multiple Dimensions -- Part 2: Implementation

Paul Mireault

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

On building an automated responding system for app reviews: What are the characteristics of reviews and their responses?

Phong Minh Vu, Tam The Nguyen, Tung Thanh Nguyen

cs.SE 🏛 arXiv 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Set-Based Models for Cryptocurrency Software

Gustavo Betarte, Maximiliano Cristiá, ... (+3 more)

cs.SE 🏛 CLEI Electronic Journal 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Time4sys2imi: A tool to formalize real-time system models under uncertainty

Étienne André, Jawher Jerray, Sahar Mhiri

cs.SE 🏛 International Colloquium on Theoretical Aspects of Computing 📚 3 cites 6 years ago

R.I.P. 👻 Ghosted

Proof of Compositionality of CFT Correctness

Simon Greiner, Peter Munk, Arne Nordmann

cs.SE 🏛 Model-Based Safety and Assessment 📚 3 cites 6 years ago