6581 search results - page 148 / 1317 » Formalizing Design Patterns |
173
click to vote
WISE
2006
Springer
15 years 11 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
115
Voted
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
130
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
166
Voted
DALT
2006
Springer
15 years 8 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...