1481 search results - page 123 / 297 » Enriching the Software Development Process by Formal Methods |
124
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...
139
Voted
CDVE
2007
Springer
15 years 9 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
134
Voted
ANSOFT
1998
15 years 3 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
151
Voted
SOUPS
2005
ACM
15 years 9 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...
145
Voted
IEEECIT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...