2748 search results - page 152 / 550 » Generating Object-Z Specifications from Use Cases |
104
click to vote
JISBD
2001
15 years 2 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
115
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
103
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
83
Voted
IEEESP
2006
15 years 18 days ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
SIBGRAPI
2005
IEEE
15 years 6 months ago
2005
IEEE
Generating triangular meshes from images is a task important to many applications. Usually, techniques that can do that either take as starting point a segmented image or generate...