5664 search results - page 143 / 1133 » Creativity support tools |
112
click to vote
STTT
2008
15 years 3 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
126
Voted
HCI
2009
15 years 1 months ago
2009
Sensemaking is a deliberate effort to understand events or information, and a sketch is an exploratory graphic composition of a concept or observation. Within the architecture doma...
148
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
119
Voted
ECOOPW
2000
Springer
15 years 7 months ago
2000
Springer
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer su...
127
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...