500 search results - page 80 / 100 » Thread-Modular Abstraction Refinement |
GMP
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
ICSE
1999
IEEE-ACM
15 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
IWAN
1999
Springer
15 years 1 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
100
click to vote
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...