4476 search results - page 478 / 896 » Modeling software architectures in the Unified Modeling Lang... |
194
click to vote
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
210
click to vote
ICST
2008
IEEE
16 years 2 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
194
click to vote
ATAL
2003
Springer
16 years 25 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
219
click to vote
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
199
click to vote
UML
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...