134 search results - page 22 / 27 » Formal Software Development in the Verification Support Envi... |
SIMUTOOLS
2008
13 years 8 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
KBSE
2005
IEEE
14 years 10 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
ESEC
1999
Springer
13 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
IEAAIE
2005
Springer
14 years 7 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
LDTA
2010
13 years 7 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...