102 search results - page 1 / 21 » Challenges in the Specification of Full Contracts |
102
Voted
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
100
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
108
Voted
ICSOC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...