Cs-Se
Towards Provenance and Traceability in CRISTAL for HEP
Executable Modeling with UML. A Vision or a Nightmare?
System-Model-Based Simulation of UML Models
Applying Agile Requirements Engineering Approach for Re-engineering & Changes in existing Brownfield Adaptive Systems
A Brief Review on Models for Performance Evaluation in DSS Architecture
Testing Agile Requirements Models
Learning Markov Decision Processes for Model Checking
Current practice in software development for computational neuroscience and how to improve it
Current Web Application Development and Measurement Practices for Small Software Firms
Communication Analysis modelling techniques
Towards Ecology Inspired Software Engineering
Invariant stream generators using automatic abstract transformers based on a decidable logic
The Design and Algorithms of a Verification Condition Generator
Limitations of Agile Software Processes
A Comparison Between Decision Trees and Decision Tree Forest Models for Software Development Effort Estimation
Towards Development of Correct Software using Views
Lessons Learned/Sharing the Experience of Developing a Metro System Case Study
Modelling the Strategic Alignment of Software Requirements using Goal Graphs
What Good Are Strong Specifications?
Defect Management Strategies in Software Development
Raw Report on the Model Checking Contest at Petri Nets 2012
Archimedes, the Free Monte Carlo simulator
