306 search results - page 35 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
112
click to vote
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
WETICE
2005
IEEE
15 years 4 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
100
click to vote
DIAGRAMS
2004
Springer
15 years 3 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...