896 search results - page 12 / 180 » Stepwise Refinement of Processes |
155
click to vote
FECS
2008
15 years 3 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...
113
click to vote
SNPD
2003
15 years 3 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...
117
click to vote
CGF
2005
15 years 2 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...
136
click to vote
CORR
2008
Springer
15 years 2 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...
126
click to vote
B
2007
Springer
15 years 6 months 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...