🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis

Mohammad Hosseini, Richard Berlin, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Interactive Complexity: Software Metrics from an Ecosystem Perspective

Charles Hathaway, Ron Eglash, Mukkai Krishnamoorthy

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

What If People Learn Requirements Over Time? A Rough Introduction to Requirements Economics

Corentin Burnay, Ivan Jureta

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Towards an executable semantics of automobile RTOS standard and its application to conformance verification

Xiaoran Zhu, Min Zhang, Jian Guo

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Automatic link extraction: The good, the bad and the ugly in software ecosystem mining

Eleni Constantinou, Tom Mens

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Towards operational natural language

Alexandr Naumchev

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Reducing Certification Granularity to Increase Adaptability of Avionics Software

Martin Rayrole, David Faura, Marc Gatti

cs.SE 🏛 ICDASC 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

An Empirical Study on Leanness and Flexibility in Distributed Software Development

Mohammad Abdur Razzak

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Macrogeneration and Automata Libraries For COSMA design environment

Wiktor B. Daszczuk

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Java Extensions for OMNeT++

Henning Puttnies, Peter Danielis, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Design Decisions for Weave: A Real-Time Web-based Collaborative Visualization Framework

Andrew Dufilie, Georges Grinstein

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Innovative Software Development and Project Management Framework for Technology Startups

Song-Kyoo Kim

cs.SE 🏛 J.AIT 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

Towards Object Life Cycle-Based Variant Generation of Business Process Models

Ahmed Tealeb

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

A Semiotics-inspired Domain-Specific Modeling Language for Complex Event Processing Rules

Herbertt Diniz, Kiev Gama, Robson Fidalgo

cs.SE 🏛 arXiv 📚 0 cites 8 years ago

R.I.P. 👻 Ghosted

PRADA Applicability in Industrial Practice

Xuan Lu

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Learning Program Component Order

Steven P. Reiss, Qi Xin

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair

Sergey Mechtaev, Xiang Gao, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Development and Maintenance of XML-Based Versus HTML-Based Websites: A Case Study

Mustafa Atay

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Model based approach to study Defect Dependency in Large Scale Integrated Software Products

Sai Anirudh Karre, Y. Raghu Reddy

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Translating Event-B machines to Eiffel programs

Victor Rivera, JooYoung Lee, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

DAReing to reduce the annotation overheads of verified programs

Gudmund Grov, Duncan Cameron, Leon McGregor

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Verification Coverage

Rodrigo Castaño, Victor Braberman, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)

Peizun Liu, Thomas Wahl

cs.SE 🏛 ICSE 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Visualization of Constraint Handling Rules: Semantics and Applications

Nada Sharaf, Slim Abdennadher, Thom Frühwirth

cs.SE 🏛 arXiv 📚 0 cites 9 years ago