8627 search results - page 174 / 1726 » Software Engineering Using RATionale |
108
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
126
Voted
ISSRE
2005
IEEE
15 years 8 months ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
125
Voted
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
94
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
121
Voted
RCIS
2010
15 years 15 days ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...