2748 search results - page 31 / 550 » Generating Object-Z Specifications from Use Cases |
159
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
184
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
145
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
121
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
221
click to vote
TSE
2010
14 years 10 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...