🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Software Quality Assessment for Robot Operating System

Mohannad Alhanahnah

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Identifying Implicit Vulnerabilities through Personas as Goal Models

Shamal Faily, Claudia Iacob, ... (+2 more)

cs.SE 🏛 CyberICPS/SECPRE/ADIoT@ESORICS 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

Abdelkader Khouass, Christian Attiogbé, Mohamed Messabihi

cs.SE 🏛 ICMDE 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

Mohannad Aldughaim, Kaled Alshmrany, ... (+3 more)

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Understanding Feasibility Study Approach for Packaged Software Implementation by SMEs

Issam Jebreen, Robert Wellington, Stephen G. MacDonell

cs.SE 🏛 Integrated Spatial Databases 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases

Zahra VaraminyBahnemiry, Jessie Galasso, Houari Sahraoui

cs.SE 🏛 J.OT 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time

Wouter Groeneveld, Joost Vennekens, Kris Aerts

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Technical Report: Refining Case Models Using Cardinality Constraints

Stephan Haarmann, Marco Montali, Mathias Weske

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

Oliver Moseler, Felix Lemmer, ... (+2 more)

cs.SE 🏛 JSS 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

An Empirical Study on Failed Error Propagation in Java Programs with Real Faults

Gunel Jahangirova, David Clark, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System

Jonas Fritzsch, Tobias Schmid, Stefan Wagner

cs.SE 🏛 ICICST 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Determining the Intrinsic Structure of Public Software Development History

Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli

cs.SE 🏛 MSR 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Stakeholder identification for a structured release planning approach in the automotive domain

Kristina Marner, Stefan Wagner, Guenther Ruhe

cs.SE 🏛 Requirements Engineering 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Assessment of Off-the-Shelf SE-specific Sentiment Analysis Tools: An Extended Replication Study

Nicole Novielli, Fabio Calefato, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

An ensemble learning approach for software semantic clone detection

Min Fu, Gang Luo, ... (+4 more)

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

A practical guide towards agile test-driven development for scientific software projects

Tom-Robin Teschner

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Synthesis of Infinite-State Systems with Random Behavior

Andreas Katis, Grigory Fedyukovich, ... (+4 more)

cs.SE 🏛 ASE 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Introducing Aspect-Oriented Programming in Improving the Modularity of Middleware for Internet of Things

Senthil Velan S

cs.SE 🏛 2020 Advances in Science and Engineering Technology International Conferences (ASET) 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Domain Specific Modeling (DSM) as a Service for the Internet of Things & Services

Armin Moin

cs.SE 🏛 Internet of Things Summit 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators

Erick Petersen, Jorge López, ... (+3 more)

cs.SE 🏛 ICNCA 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Knowledge-Based Legal Document Assembly

Marko Marković, Stevan Gostojić

cs.SE 🏛 arXiv 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Modeling and Analysis of Boundary Objects and Methodological Islands in Large-Scale Systems Development

Rebekka Wohlrab, Jennifer Horkoff, ... (+4 more)

cs.SE 🏛 ICCM 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

Sophie Wood, Nicholas Matragkas, ... (+3 more)

cs.SE 🏛 MODELS 📚 3 cites 5 years ago

R.I.P. 👻 Ghosted

Towards a Systems Engineering based Automotive Product Engineering Process

Hassan Hage, Vahid Hashemi, Frank Mantwill

cs.SE 🏛 ECSA Companion 📚 3 cites 5 years ago