Research directions in requirements engineering
In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …
research directions suggested by emerging software needs. First, we overview the state of …
Model-driven development of complex software: A research roadmap
The term model-driven engineering (MDE) is typically used to describe software
development approaches in which abstract models of software systems are created and …
development approaches in which abstract models of software systems are created and …
UMLsec: Extending UML for secure systems development
J Jürjens - International Conference on The Unified Modeling …, 2002 - Springer
Developing secure-critical systems is difficult and there are many well-known examples of
security weaknesses exploitedin practice. Thus a sound methodology supporting secure …
security weaknesses exploitedin practice. Thus a sound methodology supporting secure …
Reasoning on UML class diagrams
D Berardi, D Calvanese, G De Giacomo - Artificial intelligence, 2005 - Elsevier
UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …
design of large-scale industrial applications, sophisticated CASE tools are available on the …
Current and future research directions in requirements engineering
In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …
research directions suggested by emerging software needs. First, we overview the state of …
Real-time specification patterns
S Konrad, BHC Cheng - … of the 27th international conference on …, 2005 - dl.acm.org
Embedded systems are pervasive and frequently used for critical systems with time-
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
Using benchmarking to advance research: A challenge to software engineering
SE Sim, S Easterbrook, RC Holt - … International Conference on …, 2003 - ieeexplore.ieee.org
Benchmarks have been used in computer science to compare the performance of computer
systems, information retrieval algorithms, databases, and many other technologies. The …
systems, information retrieval algorithms, databases, and many other technologies. The …
A taxonomy of uncertainty for dynamically adaptive systems
AJ Ramirez, AC Jensen… - 2012 7th International …, 2012 - ieeexplore.ieee.org
Self-reconfiguration enables a dynamically adaptive system (DAS) to satisfy requirements
even as detrimental system and environmental conditions arise. A DAS, especially one …
even as detrimental system and environmental conditions arise. A DAS, especially one …
The relevance of model-driven engineering thirty years from now
Although model-driven engineering (MDE) is now an established approach for developing
complex software systems, it has not been universally adopted by the software industry. In …
complex software systems, it has not been universally adopted by the software industry. In …
Design patterns for developing dynamically adaptive systems
AJ Ramirez, BHC Cheng - Proceedings of the 2010 ICSE Workshop on …, 2010 - dl.acm.org
Increasingly, software systems should self-adapt to satisfy new requirements and
environmental conditions that may arise after deployment. Due to their high complexity …
environmental conditions that may arise after deployment. Due to their high complexity …