🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

New Software Metrics for Evaluation and Comparison of Advanced Power Management Systems

James Christopher Foreman, Rammohan K. Ragade, James H. Graham

cs.SE 🏛 Systems Journal 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Programming Internet of Things, Service, and People (IoTSP) Applications

Saurabh Chauhan

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Computer-assisted workflows composition based on Virtual Simulation Objects technology

Pavel A. Smirnov, Sergey V. Kovalchuk, Alexander V. Boukhanovsky

cs.SE 🏛 IEEE International Conference on e-Science 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

On model of information system for management of information flows

Radoslva Kraleva, Velin Kralev

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Mitigating Redundant Data Transfers for Mobile Web Applications via App-Specific Cache Space

Xuanzhe Liu, Yun Ma, ... (+5 more)

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Cross-Section Evidence-based Timelines for Software Process Improvement Retrospectives: A Case Study of User eXperience Integration

Pariya Kashfi, Robert Feldt, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Desiree: a Refinement Calculus for Requirements Problems

Feng-Lin Li, Alexander Borgida, ... (+4 more)

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

📚 📚 The Cartographer

Detecting Code Clones: A review

Ogechi Onuoha

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Reference and Structure of Software Engineering Theories

Andrés Silva

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

A declarative Language for Rapid Business Development

Nabarun Mondal, Jatin Puri, Mrunal Lohia

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

A Model-based Approach for Effective Service Delivery

Feng-Lin Li, Chi-Hung Chi

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

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

R.I.P. 👻 Ghosted

Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Julia Rubin, Thomas Thüm

cs.SE 🏛 EPTCS 206, 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Jana Kofroň, Jana Tumova, Bara Buhnova

cs.SE 🏛 EPTCS 205, 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Visualizing source code in 3D Maya software

Ahmad Al- Shamailh

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

The Virtues of Conflict: Analyzing Modern Concurrency

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening

cs.SE 🏛 ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Visualizing Class Information

Haneen Abu Alfeilat

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Towards Unified Combinatorial Interaction Testing

Hanefi Mercan, Cemal Yilmaz

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Developing a Repeating Model Using the Structured Spreadsheet Modelling and Implementation Methodology

Paul Mireault

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Analytic Methods to Calculate Fault Trees with Loops - Restrictions of Application and Solution Uniqueness

Sergey Porotsky

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Multiset Theories of Cardinality-based Feature Diagrams

Aliakbar Safilian, Tom Maibaum

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Non-Concept Software Subsystems: Tangible and Intangible

Iaakov Exman

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

A Formal Definition of Model Composition Traceability

Youness Laghouaouta, Adil Anwar, Mahmoud Nassar

cs.SE 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Correlating Features and Code by Dynamic and Semantic Analysis

Ren Wu

cs.SE 🏛 arXiv 📚 0 cites 10 years ago