Sciweavers

5433 search results - page 840 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
183
Voted
PPDP
2004
Springer
16 years 1 days ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
RE
2004
Springer
16 years 1 days ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid
SELMAS
2004
Springer
16 years 1 days ago
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
Lijun Shan, Hong Zhu
144
Voted
SEMWEB
2004
Springer
16 years 1 days ago
Bringing Semantics to Web Services: The OWL-S Approach
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
David L. Martin, Massimo Paolucci, Sheila A. McIlr...
TES
2004
Springer
16 years 1 days ago
From Web Service Composition to Megaprogramming
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
Cesare Pautasso, Gustavo Alonso