611 search results - page 23 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
ICSE
2000
IEEE-ACM
15 years 3 months 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...
105
click to vote
FASE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
WACC
1999
ACM
15 years 4 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
61
Voted
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...