1121 search results - page 186 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
APN
2004
Springer
15 years 5 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
116
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
TSE
1998
14 years 11 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
INFSOF
2002
14 years 11 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
JRTIP
2008
14 years 11 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...