3255 search results - page 11 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
ISPW
2008
IEEE
14 years 1 months ago
2008
IEEE
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
GI
2005
Springer
14 years 1 months ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...