Sciweavers

900 search results - page 64 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
MODELS
2007
Springer
15 years 10 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
DSVIS
1998
Springer
15 years 8 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
APSEC
2004
IEEE
15 years 7 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
UML
2005
Springer
15 years 9 months ago
Integrate Model-driven UI with Business Transformations: Shifting focus of Model-driven UI
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
Noi Sukaviriya, Santhosh Kumaran, Prabir Nandi, Te...
ER
1999
Springer
135views Database» more  ER 1999»
15 years 8 months ago
Towards an Automatic Integration of Statecharts
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
Heinz Frank, Johann Eder