Sciweavers

2319 search results - page 15 / 464
» A Method for the Design and Development of Distributed Appli...
Sort
View
EDOC
2004
IEEE
13 years 11 months ago
Using Subject-Oriented Modeling to Develop Jini Applications
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...
Gagan Tandon, Sudipto Ghosh
CEEMAS
2001
Springer
14 years 4 hour ago
UML for Behavior-Oriented Multi-agent Simulations
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
Christoph Oechslein, Franziska Klügl, Rainer ...
FASE
2001
Springer
13 years 12 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
ICSE
2003
IEEE-ACM
14 years 7 months ago
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
Paulo Pinheiro da Silva, Norman W. Paton
GI
2001
Springer
13 years 12 months ago
Testing Distributed Component Based Systems Using UML/OCL
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
Achim D. Brucker, Burkhart Wolff