Sciweavers

665 search results - page 19 / 133
» Extending Software Development Methodologies to Support Trus...
Sort
View
DSVIS
2000
Springer
15 years 2 months ago
SUIT - Context Sensitive Evaluation of User Interface Development Tools
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
Joanna Lumsden, Philip D. Gray
79
Voted
COMPSAC
1997
IEEE
15 years 2 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
RE
1997
Springer
15 years 2 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
RE
2010
Springer
14 years 5 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
EOR
2002
66views more  EOR 2002»
14 years 10 months ago
Socio-cognitive engineering: A methodology for the design of human-centred technology
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
Mike Sharples, N. Jeffery, Benedict du Boulay, Der...