Sciweavers

3045 search results - page 255 / 609
» Formal Approaches to Software Architecture
Sort
View
EFDBS
2003
15 years 8 months ago
Four-Level-Architecture for Closure in Interoperability
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
B. Nick Rossiter, Michael A. Heather
IAT
2006
IEEE
16 years 21 days ago
A Multi-Agent Approach to Social Human Behaviour in Children's Play
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
Frodi Hammer, Alireza Derakhshan, Yves Demazeau, H...
ESWS
2004
Springer
16 years 1 days ago
Approaches to Semantic Web Services: an Overview and Comparisons
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
Liliana Cabral, John Domingue, Enrico Motta, Terry...
UML
1999
Springer
15 years 11 months ago
Core Meta-Modelling Semantics of UML: The pUML Approach
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
Andy Evans, Stuart Kent
ICSM
1999
IEEE
15 years 11 months ago
Recovering High-Level Views of Object-Oriented Applications from Static and Dynamic Information
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...
Tamar Richner, Stéphane Ducasse