Sciweavers

2062 search results - page 128 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
WER
2004
Springer
14 years 2 months ago
Constructing Use Case Model by Using a Systematic Approach: Description of a Study
This paper presents the results of a feasability study that was carried out to evaluate the construction of Use Case Models by comparing the models with groups that used the GUCCRA...
Anderson Belgamo, Sandra Camargo Pinto Ferraz Fabb...
ICSE
1999
IEEE-ACM
14 years 1 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
MOMPES
2009
IEEE
14 years 3 months ago
ArcheOpterix: An extendable tool for architecture optimization of AADL models
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
Aldeida Aleti, Stefan Björnander, Lars Grunsk...
FSEN
2009
Springer
14 years 3 months ago
Evolution Control in MDE Projects: Controlling Model and Code Co-evolution
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
Jacky Estublier, Thomas Leveque, Germán Veg...
ESEM
2010
ACM
13 years 7 months ago
Introducing the evaluation of complexity in functional size measurement: a UML-based approach
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
Luigi Lavazza, Gabriela Robiolo