🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Trend Analysis on the Metadata of Program Comprehension Papers

Matúš Sulír, Jaroslav Porubän

cs.SE 🏛 ICEMES 📚 1 cites 7 years ago

🌅 🌅 Old Age

Catalog of Formalized Application Integration Patterns

Daniel Ritter, Stefanie Rinderle-Ma, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

📚 📚 The Cartographer

Using mobile service for supply chain management : a survey and challenges

Selwa Elfirdoussi

cs.SE 🏛 International Journal on Web Service Computing 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Probabilistic Analysis of Weakly-Hard Real-Time Systems

Eun-Young Kang, Dongrui Mu, Li Huang

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Indexing Operators to Extend the Reach of Symbolic Execution

Earl T. Barr, David Clark, ... (+2 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Fotios Gioulekas, Peter Poplavko, ... (+2 more)

cs.SE 🏛 MeTRiD@ETAPS 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand

Pablo Fernandez Carmona, Michael Eichin, ... (+4 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Strict Linearizability and Abstract Atomicity

Tangliu Wen

cs.SE 🏛 International Journal of Foundations of Computer Science 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

An Approximation-based Approach for the Random Exploration of Large Models

Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko

cs.SE 🏛 TAP@STAF 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

A User Evaluation of Automated Process Discovery Algorithms

Fabrizio Maria Maggi, Andrea Marrella, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Statistical Dimension Identification and Implementation for Student Progression System

Harkiran Kaur, Aanchal Phutela

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Can You Explain That, Better? Comprehensible Text Analytics for SE Applications

Amritanshu Agrawal, Huy Tu, Tim Menzies

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Modeling and Testing Implementations of Protocols with Complex Messages

Tom Tervoort, I. S. W. B. Prasetya

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Second-Guessing in Tracing Tasks Considered Harmful?

Bhushan Chitre, Jane Huffman Hayes, Alexander Dekhtyar

cs.SE 🏛 Requirements Engineering: Foundation for Software Quality 📚 1 cites 8 years ago

📚 📚 The Cartographer

SEAT: A Taxonomy to Characterize Automation in Software Engineering

Shipra Sharma, Balwinder Sodhi

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Evolvable Systems for Big Data Management in Business

R McClatchey, A Branson, ... (+2 more)

cs.SE 🏛 ICHPCSA 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Formal Analysis of Non-functional Properties for a Cooperative Automotive System

Eun-Young Kang, Li Huang, Dongrui Mu

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Improving lifecycle query in integrated toolchains using linked data and MQTT-based data warehousing

Andrii Berezovskyi, Jad El-khoury, ... (+2 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Consensus in Software Engineering: A Cognitive Mapping Study

Pontus Johnson, Paul Ralph, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Generating Python Code From Object-Z Specifications

A. F. Al Azzawi, M. Bettaz, H. M. Al-Refai

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Fault Localization Models in Debugging

Safeeullah Soomro, Mohammad Riyaz Belgaum, ... (+2 more)

cs.SE 🏛 INFOCOM 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Test Agents: Adaptive, Autonomous and Intelligent Test Cases

Eduard Enoiu, Mirgita Frasheri

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

An Investigation of the Monitoring Activity in Self Adaptive Systems

Yousef Abuseta

cs.SE 🏛 arXiv 📚 1 cites 8 years ago

R.I.P. 👻 Ghosted

Mitigating Spreadsheet Risk in Complex Multi-Dimensional Models in Excel

Steve Litt

cs.SE 🏛 arXiv 📚 1 cites 8 years ago