2493 search results - page 128 / 499 » Tool Support for Design by Contract |
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
An important dimension of success in development projects is the quality of the new product. Researchers have primarily concentrated on developing and evaluating processes to redu...
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
CLEIEJ
2007
14 years 10 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
SIGECOM
2004
ACM
15 years 3 months ago
2004
ACM
A crucial element in consumer electronic commerce is a catalog tool that not only finds the product for the user, but also convinces him that he has made the best choice. To do th...
ICSE
2007
IEEE-ACM
15 years 4 months ago
2007
IEEE-ACM
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...