2118 search results - page 26 / 424 » Execution of A Requirement Model in Software Development |
123
click to vote
CHI
2007
ACM
15 years 5 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
106
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
116
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
124
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
111
Voted
ISCIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...