2493 search results - page 127 / 499 » Tool Support for Design by Contract |
PPOPP
1993
ACM
15 years 2 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Focused around the field of the exploitation and the administration of high performance large-scale parallel systems , this article describes the work carried out on the deployme...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...