1002 search results - page 131 / 201 » Test-Driven Development of Model Transformations |
QOSA
2010
Springer
14 years 1 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
CIBSE
2009
ACM
14 years 4 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
GG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...