1407 search results - page 92 / 282 » Using Use Cases in Executable Z |
119
click to vote
SIGSOFT
2003
ACM
16 years 4 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...
163
click to vote
CN
2007
15 years 4 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
141
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
119
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
131
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...