4476 search results - page 132 / 896 » Modeling software architectures in the Unified Modeling Lang... |
116
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
132
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
82
Voted
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
WSC
2001
15 years 3 months ago
2001
The paper proposes a new tool for supporting educational and professional skill development in HLA environment; the application proposed by the authors is devoted to provide a rea...
156
Voted
COMSIS
2010
14 years 11 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...