2748 search results - page 313 / 550 » Generating Object-Z Specifications from Use Cases |
147
click to vote
ASE
2006
15 years 4 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
140
click to vote
IBMRD
2006
15 years 4 months ago
2006
We present Justice, a set of extensions to the Liberty simulation infrastructure that model area, wire length, and power consumption in processor architectures. Given an architectu...
126
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Revyu.com is a live, publicly accessible reviewing and rating Web site, designed to be usable by humans whilst transparently generating machinereadable RDF metadata for the Semanti...
131
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
124
click to vote
AFRIGRAPH
2007
ACM
15 years 8 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...