1481 search results - page 26 / 297 » Enriching the Software Development Process by Formal Methods |
130
click to vote
EDUTAINMENT
2007
Springer
15 years 9 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
129
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Currently, a number of bioinformatics methods are available to generate appropriate lists of genes from a microarray experiment. While these lists represent an accurat...
127
click to vote
FPL
2007
Springer
15 years 9 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
151
click to vote
DILS
2005
Springer
15 years 8 months ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
148
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...