2748 search results - page 61 / 550 » Generating Object-Z Specifications from Use Cases |
124
Voted
FAC
2008
15 years 21 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
139
click to vote
DAC
1995
ACM
15 years 4 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
87
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
93
Voted
ICMAS
1998
15 years 2 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
214
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...