Sciweavers

ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
13 years 8 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
HICSS
2000
IEEE
108views Biometrics» more  HICSS 2000»
13 years 9 months ago
Quality Control in Spreadsheets: A Software Engineering-based Approach to Spreadsheet Development
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
Kamalasen Rajalingham, David Chadwick, Brian Knigh...