2419 search results - page 454 / 484 » A Formal Approach to Software Testing |
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
PDCN
2004
13 years 9 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...
BIOINFORMATICS
2010
13 years 8 months ago
2010
Summary: adephylo is a package for the R software dedicated to the analysis of comparative evolutionary data. Phylogenetic comparative methods initially aimed at accounting for or...
ENTCS
2007
13 years 8 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
JOT
2007
13 years 8 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...