8 search results - page 1 / 2 » Using Event-B to Verify the Kmelia Components and Their Asse... |
119
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
353
Voted
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
91
Voted
EWSA
2006
Springer
15 years 3 months ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
151
Voted
BMCBI
2007
15 years 10 days ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
122
Voted
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...