🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Auto-Documenation for Software Development

Thomas Zheng, Jeff Shaw, Sergey Kozlov

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Basis to develop a platform for multiple-scale complex systems modeling and visualization: MoNet

Gerardo L. Febres

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

MatlabCompat.jl: helping Julia understand Your Matlab/Octave Code

Vardan Andriasyan, Yauhen Yakimovich, Artur Yakimovich

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

An Event-B framework for the validation of Event-B refinement plugins

Jean-Paul Bodeveix, Mamoun Filali, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models

Stefan Wagner

cs.SE 🏛 IST 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Comments on Improving Transferability Between Different Engineering Stages in the Development of Automated Material Flow Modules

Kleanthis Thramboulidis

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Logical Approach to Generating Test Plans

Tobias Morciniec, Andreas Podelski

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Generating Code Summaries Using the Power of the Crowd

Sahar Badihi, Abbas Heydarnoori

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Towards a Step Semantics for Story-Driven Modelling

Géza Kulcsár, Anthony Anjorin

cs.SE 🏛 GaM 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Type Annotation for Adaptive Systems

Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce

cs.SE 🏛 GaM 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Field Study on the Elicitation and Classification of Defects for Defect Models

D. Holling, D. Méndez Fernández, A. Pretschner

cs.SE 🏛 Proceedings of the International Conference on Product-Focused Software Process Improvement, 2015 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

When Students Choose to Use Event-B in their Software Engineering Projects

Paul Gibson

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Formal Proof of the Weak Goodstein Theorem

Jean-Raymond Abrial

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

An Industrial Case Study on Measuring the Quality of the Requirements Scoping Process

Krzysztof Wnuk, Markus Borg, Sardar Muhammad Sulaman

cs.SE 🏛 ICPFSPI 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Automating Verification of Event-B Models

Paulius Stankaitis, Alexei Iliasov, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Data Poisoning: Lightweight Soft Fault Injection for Python

Mohammad Amin Alipour, Alex Groce

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Runtime Template Instantiation for C++

Akim Demaille

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Configuring Cloud-Service Interfaces Using Flow Inheritance

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

cs.SE 🏛 iFMCloud@IFM 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Decision Support System to Choose Optimal Release Cycle Length in Incremental Software Development Environments

Avnish Chandra Suman, Saraswati Mishra, Abhinav Anand

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Automated Enterprise Applications Generation from Requirements Model

Yilong Yang

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Effect of Human Learning on the Transient Performance of Cloud-based Tiered Applications

Arindam Das, Olivia Das

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

DETOx: Towards Optimal Software-based Soft-Error Detector Configurations

Michael Lenz, Horst Schirmeier

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Model of Navigation History

Connor G. Brewster, Alan Jeffrey

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Modeling Software Development Methodologies: A Logic Based Approach

Farzad Mahdikhani, Mohammad Reza Abbasifard

cs.SE 🏛 arXiv 📚 0 cites 10 years ago