Sciweavers

356 search results - page 4 / 72
» The Language Features and Architecture of B-Prolog
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 9 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
NGITS
1995
Springer
13 years 9 months ago
The TSIMMIS Approach to Mediation: Data Models and Languages
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
Hector Garcia-Molina, Dallan Quass, Yannis Papakon...
CSMR
1999
IEEE
13 years 9 months ago
Architecture Comprehension Tools for a PBX System
The comprehension of the dynamic and static structure of a system is of main importance for purposes of adding features, bug solving, and for redesign activities. This holds parti...
René L. Krikhaar, Loe M. G. Feijs, Roel de ...
TOSEM
2002
118views more  TOSEM 2002»
13 years 5 months ago
Modeling software architectures in the Unified Modeling Language
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
Nenad Medvidovic, David S. Rosenblum, David F. Red...
VAMOS
2007
Springer
13 years 11 months ago
Adding Aspects to xADL 2.0 for Software Product Line Architectures
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
Lidia Fuentes, Nadia Gámez