Sciweavers

1557 search results - page 123 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
METAINFORMATICS
2004
Springer
15 years 3 months ago
Describing Use Cases with Activity Charts
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
Jesús Manuel Almendros-Jiménez, Luis...
AMAST
2008
Springer
14 years 12 months ago
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
IGARSS
2010
14 years 7 months ago
Iceberg size and orientation estimation using SeaWinds
From 1999 to 2009, the SeaWinds scatterometer has been used to detect and track large Antarctic icebergs on a daily basis. Here, we develop an automated estimation algorithm to su...
Keith M. Stuart, David G. Long
KBSE
2008
IEEE
15 years 4 months ago
A Generic Approach for Class Model Normalization
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
Jean-Rémy Falleri, Marianne Huchard, Cl&eac...
SLE
2009
Springer
15 years 4 months ago
Study of an API Migration for Two XML APIs
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...
Thiago Tonelli Bartolomei, Krzysztof Czarnecki, Ra...