1002 search results - page 131 / 201 » Test-Driven Development of Model Transformations |
191
click to vote
QOSA
2010
Springer
15 years 9 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...
136
click to vote
WWW
2001
ACM
16 years 6 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 (...
186
click to vote
CIBSE
2009
ACM
16 years 16 days 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...
145
click to vote
IPPS
2008
IEEE
16 years 13 days 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...
157
click to vote
GG
2004
Springer
15 years 11 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...