🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

The Java Build Framework: Large Scale Compilation

Pedro Martins, Rohan Achar, Cristina V. Lopes

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

A Manga-Driven System Requirements Development PBL Exercise

Yasushi Tanaka, Hajimu Iida, Yasuhiro Takemura

cs.SE 🏛 2018 IEEE/ACM International Workshop on Software Engineering Education for Millennials (SEEM) 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Towards Reproducible Research: Automatic Classification of Empirical Requirements Engineering Papers

Clinton Woodson, Jane Huffman Hayes, Sarah Griffioen

cs.SE 🏛 ACM Southeast Regional Conference 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Towards Efficient Data-flow Test Data Generation

Ting Su, Chengyu Zhang, ... (+6 more)

cs.SE 🏛 FM 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

The Deployment of an Enhanced Model-Driven Architecture for Business Process Management

Richard McClatchey

cs.SE 🏛 International Database Engineering and Applications Symposium 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Using a Model-driven Approach in Building a Provenance Framework for Tracking Policy-making Processes in Smart Cities

Barkha Javed, Zaheer Khan, Richard McClatchey

cs.SE 🏛 International Database Engineering and Applications Symposium 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Data provenance tracking as the basis for a biomedical virtual research environment

Richard McClatchey

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)

Yilong Yang, Xiaoshan Li, Quan Zu

cs.SE 🏛 IEEE Access 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

What Should You Know Before Developing a Service Identification Approach

Anas Shatnawi, Hafedh Mili, ... (+5 more)

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Identifying KDM Model of JSP Pages

Anas Shatnawi, Hafedh Mili, ... (+5 more)

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

How to Implement Dependencies in Server Pages of JEE Web Applications

Anas Shatnawi, Hafedh Mili, ... (+5 more)

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

State of the Practice for GIS Software

W. Spencer Smith, Adam Lazzarato, Jacques Carette

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Experience Report: Formal Methods in Material Science

Bernhard Beckert, Britta Nestler, ... (+3 more)

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Critical Success Factors to Improve the Game Development Process from a Developers Perspective

Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Stacked Thompson Bandits

Lenz Belzner, Thomas Gabor

cs.SE 🏛 2017 IEEE/ACM 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Software Model Checking: A Promising Approach to Verify Mobile App Security

Irina Mariuca Asavoae, Hoang Nga Nguyen, ... (+2 more)

cs.SE 🏛 FTfJP@ECOOP 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

A reference model for interaction semantics

Johannes Reich, Tizian Schröder

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

Van Chan Ngo, Axel Legay

cs.SE 🏛 J. Softw. Evol. Process. 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Understanding Quality of Experiences on Different Mobile Browsers: Measurements, Analysis, and Implications

Yun Ma, Shuailiang Dong

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

(Auto)Focus approaches and their applications: A systematic review

Maria Spichkova

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Beneficial and Harmful Agile Practices for Product Quality

Sven Theobald, Philipp Diebold

cs.SE 🏛 ICPFSPI 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Supporting Requirements Engineering Research that Industry Needs: The Naming the Pain in Requirements Engineering Initiative

Daniel Méndez Fernández

cs.SE 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

cs.SE 🏛 Formal Aspects of Computing 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

AutoReq: expressing and verifying requirements for control systems

Alexandr Naumchev, Bertrand Meyer, ... (+4 more)

cs.SE 🏛 arXiv 📚 3 cites 8 years ago