517 search results - page 39 / 104 » Specification transformers: a predicate transformer approach... |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
CIIA
2009
13 years 9 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
ICSE
2000
IEEE-ACM
14 years 2 days ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
ECOOP
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...