1021 search results - page 161 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
SIGSOFT
2005
ACM
15 years 12 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
111
click to vote
ERSHOV
2006
Springer
15 years 2 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
ISPAN
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...