Sciweavers

2274 search results - page 132 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
EUC
2008
Springer
15 years 8 months ago
UMDD: User Model Driven Software Development
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
Xiaochun Wang, Yuanchun Shi
SIGSOFT
2003
ACM
16 years 7 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
RE
2006
Springer
15 years 6 months ago
Managing Terminological Interference in Goal Models with Repertory Grid
Terminological interference occurs in requirements engineering when stakeholders vary in the concepts they use to understand a problem domain, and the terms they use to describe t...
Nan Niu, Steve M. Easterbrook
COMPSAC
2003
IEEE
15 years 11 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...