249 search results - page 29 / 50 » Analyzing software process models with AVISPA |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
ICDS
2009
IEEE
14 years 2 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
SC
2005
ACM
14 years 1 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
RE
2001
Springer
14 years 3 days ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
CICLING
2008
Springer
13 years 9 months ago
2008
Springer
Language software applications encounter new words, e.g., acronyms, technical terminology, loan words, names or compounds of such words. Looking at English, one might assume that t...