Sciweavers

1487 search results - page 54 / 298
» On Validating Engineering Design Decision Support Tools
Sort
View
UML
2005
Springer
15 years 9 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
134
Voted
HICSS
2008
IEEE
132views Biometrics» more  HICSS 2008»
15 years 10 months ago
Support of Case-Based Authentic Learning Activities: A Collaborative Case Commenting Tool and a Collaborative Case Builder
Cases are widely used in professional education to engage learners with examples of real world practices. Collaboration in casebased learning can add to the authenticity of the ex...
Lu Xiao, John M. Carroll, Pat Clemson, Mary Beth R...
81
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
Finding Boundary Objects in SE and HCI: An Approach Through Engineering-oriented Design Theories
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
Andrew Walenstein
162
Voted
ASWEC
2006
IEEE
15 years 10 months ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han
JUCS
2002
116views more  JUCS 2002»
15 years 3 months ago
Design for All as a Challenge for Hypermedia Engineering
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
Volker Mattick