1021 search results - page 108 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
113
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
131
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
176
click to vote
AOSE
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
145
click to vote
OOPSLA
2010
Springer
15 years 24 days ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
129
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...