896 search results - page 12 / 180 » Stepwise Refinement of Processes |
FECS
2008
13 years 10 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
SNPD
2003
13 years 9 months ago
2003
We present our experience in reorganizing an “inherited” monolithic piece of software in a component-based manner. We follow the guidelines of the UML Components in order to o...
CGF
2005
13 years 8 months ago
2005
The point set is a flexible surface representation suitable for both geometry processing and real-time rendering. In most applications, the control of the point cloud density is c...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
B
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...