1815 search results - page 37 / 363 » Making the Business Case for Software Performance Engineerin... |
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
The Web services paradigm is expected to transform the Web into a distributed application-to-application network. The Web services landscape is in an evolving state with core spec...
TWEB
2010
13 years 7 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...