1481 search results - page 37 / 297 » Enriching the Software Development Process by Formal Methods |
157
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
130
click to vote
ICIW
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
152
click to vote
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
125
click to vote
DKE
2007
15 years 3 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
125
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...