1622 search results - page 184 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
126
click to vote
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
125
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
126
click to vote
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
103
click to vote
EWCBR
1998
Springer
1998
Springer
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
15 years 6 months ago
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
102
Voted
TACS
1991
Springer
15 years 6 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...