Sciweavers

3255 search results - page 12 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
101
Voted
APSEC
2005
IEEE
15 years 9 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
84
Voted
RE
2008
Springer
15 years 2 months ago
Info Cases: Integrating Use Cases and Domain Models
Michel Heluey Fortuna, Cláudia Maria Lima W...
136
Voted
EDUTAINMENT
2007
Springer
15 years 9 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
123
Voted
SIGSOFT
1998
ACM
15 years 7 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
119
Voted
HCI
2007
15 years 4 months ago
A Requirement Engineering Approach to User Centered Design
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...
Dirk Zimmermann, Lennart Grötzbach