2705 search results - page 286 / 541 » Formal Ontology for Subject |
211
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
135
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
179
click to vote
ACOM
2006
Springer
16 years 17 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
163
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
171
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...