🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Automatic vs Manual Provenance Abstractions: Mind the Gap

Pinar Alper, Khalid Belhajjame, Carole A. Goble

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Evolution Patterns: Designing and Reusing Architectural Evolution Knowledge to Introduce Architectural Styles

Dalila Tamzalit, Tom Mens

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Deriving approximation tolerance constraints from verification runs

Tobias Isenberg, Marie-Christine Jakobs, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

The Algorithmic Autoregulation Software Development Methodology

Renato Fabbri, Ricardo Fabbri, ... (+7 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Ozy: A General Orchestration Container

Glenn Osborne, Tim Weninger

cs.SE 🏛 ICWS 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Validating an Approach to Formalize Use Cases with Ontologies

Rui Couto, António Nestor Ribeiro, José Creissac Campos

cs.SE 🏛 FESCA@ETAPS 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Inter-Paradigm Translation of Process Models using Simulation and Mining

Lars Ackermann, Stefan Schönig, Stefan Jablonski

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

On Board Data Handling (OBDH) based on PC104

Haryono

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Auditing spreadsheets: With or without a tool?

Simone Schalkwijk, Felienne Hermans, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Measuring Object-Oriented Design Principles

Johannes Bräuer

cs.SE 🏛 ASE 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Business Process Modeling and Execution -- A Compiler for Distributed Microservices

Robert Singer

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Neuro-Fuzzy Algorithmic (NFA) Models and Tools for Estimation

Danny Ho, Luiz Fernando Capretz, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

📚 📚 The Cartographer

Object Oriented Analysis using Natural Language Processing concepts: A Review

Abinash Tripathy, Santanu Kumar Rath

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Modularity for Security-Sensitive Workflows

Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Supporting the monitoring of the verification process of critical systems'software

Julio Escribano-Barreno, Marisol García-Valls

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

Sok-Min Han, Un-Chol Pang, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models

Jan O. Ringert, Bernhard Rumpe, Andreas Wortmann

cs.SE 🏛 ModComp@MoDELS 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Integrating a large-scale testing campaign in the CK framework

Andrei Lascu, Alastair F. Donaldson

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

🌅 🌅 Old Age

Collaboration between SAML Federations and OpenStack Clouds

Mihály Héder, Szabolcs Tenczer, Andrea Biancini

cs.SE 🏛 SoftwareX 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Simulator Semantics for System Level Formal Verification

Toni Mancini, Federico Mari, ... (+3 more)

cs.SE 🏛 ICGALFV 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

OpenCL 2.0 for FPGAs using OCLAcc

Franz Richter-Gottfried, Alexander Ditter, Dietmar Fey

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

A solution for applying IEC 61499 function blocks in the development of substation automation systems

Valentin Vlad, Cezar D. Popa, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Extending UML-RT for Control System Modeling

Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

The Open Service Compendium. Business-pertinent Cloud Service Discovery, Assessment, and Selection

Mathias Slawik, Begüm İlke Zilci, ... (+2 more)

cs.SE 🏛 Grid Economics and Business Models 📚 2 cites 10 years ago