🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Customising Agent Based Analysis Towards Analysis of Disaster Management Knowledge

Dedi Iskandar Inan, Ghassan Beydoun, Simon Opper

cs.SE 🏛 ACIS 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Jolie Static Type Checker: a prototype

Daniel de Carvalho, Manuel Mazzara, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Systematic Mapping Protocol - Coverage of Aspect-Oriented Methodologies for the Early Phases of the Software Development Life Cycle

Fernando Pinciroli, Jose Luis Barros Justo, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Interaction semantics and its implications for an interaction oriented architecture of IoT-type applications

Johannes Reich

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Theory Plug-in for Rodin 3.x

T. S. Hoang, L. Voisin, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

The Use of Application Scanners in Software Product Quality Assessment

Stefan Wagner

cs.SE 🏛 WoSQ '11 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

FPA-Debug: Effective Statistical Fault Localization Considering Fault-proneness Analysis

Farid Feyzi, Esmaeel Nikravan, Saeed Parsa

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Model-based generation of natural language specifications

Phan Vo Thu Nhat, Maria Spichkova

cs.SE 🏛 STAF 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Spreadsheet Guardian: An Approach to Protecting Semantic Correctness throughout the Evolution of Spreadsheets

Daniel Kulesz, Verena Käfer, Stefan Wagner

cs.SE 🏛 J. Softw. Evol. Process. 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications

Yepang Liu, Lili Wei, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Application-layer Fault-Tolerance Protocols

Vincenzo De Florio

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

Felipe R. Monteiro

cs.SE 🏛 FSE 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

A Bibliometric Study of Asia Pacific Software Engineering Conference from 2010 to 2015

Lov Kumar, Saikrishna Sripada, Ashish Sureka

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Human Task Monitoring and Contextual Analysis for Domain Specific Business Processes

Kunal Suri, Adrian Mos

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Designing Workflow Systems Using Building Blocks

Matteo Turilli, Andre Merzky, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

A New Paradigm of Software Service Engineering in the Era of Big Data and Big Service

Xiaofei Xu, Gianmario Motta, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Type-Directed Code Reuse using Integer Linear Programming

Yuepeng Wang, Yu Feng, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Class Invariants: Concepts, Problems, Solutions

Bertrand Meyer

cs.SE 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

The IDE as a Scriptable Information System (extended version)

Dimitar Asenov, Peter Müller, Lukas Vogel

cs.SE 🏛 ASE 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Improving Testability and Reuse by Transitioning to Functional Programming

Morgan C. Benton, Nicole M. Radziwill

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Anonymized e-mail interviews with R package maintainers active on CRAN and GitHub

Tom Mens

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Matthias Kowal, Ina Schaefer

cs.SE 🏛 FMSPLE 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation

Frederik Deckwerth, Géza Kulcsár, ... (+3 more)

cs.SE 🏛 FMSPLE 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Operators for Space and Time in BeSpaceD

Jan Olaf Blech, Keith Foster

cs.SE 🏛 arXiv 📚 4 cites 10 years ago