1057 search results - page 75 / 212 » Testing from Formal Specifications, a Generic Approach |
152
click to vote
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
107
click to vote
LREC
2008
15 years 4 months ago
2008
Computational terminology has notably evolved since the advent of computers. Regarding the extraction of terms in particular, a large number of resources has been developed: from ...
144
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
150
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...
97
Voted
WSC
1998
15 years 4 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...