1080 search results - page 55 / 216 » Modeling Constraint Programs with Software Technology Standa... |
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ATAL
2006
Springer
14 years 21 days ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
ICSE
2011
IEEE-ACM
13 years 12 days ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...