Sciweavers

1988 search results - page 191 / 398
» Engineering formal metatheory
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
The Quest for Software Components Quality
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
Miguel Goulão, Fernando Brito e Abreu
IWPC
1998
IEEE
15 years 10 months ago
Pattern Visualization for Software Comprehension
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
Reinhard Schauer, Rudolf K. Keller
WER
1999
Springer
15 years 10 months ago
A Requirements Elicitation Approach Based in Templates and Patterns
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
Amador Durán Toro, B. Bernárdez Jim&...
ISARCS
2010
141views Hardware» more  ISARCS 2010»
15 years 10 months ago
Integrating Fault-Tolerant Techniques into the Design of Critical Systems
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
Ricardo J. Rodríguez, José Merseguer
IADIS
2004
15 years 8 months ago
New Perspectives on Teaching and Learning Software Systems Development in Large Groups - Telecollaboration
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
Zenon Chaczko, David J. Davis, Craig Scott