2834 search results - page 91 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
174
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
263
click to vote
SOMET
2007
15 years 5 months ago
2007
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
147
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
130
click to vote
STTT
1998
15 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
149
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...