Sciweavers

16725 search results - page 487 / 3345
» Engineering Software Correctness
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
15 years 12 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
METRICS
2003
IEEE
15 years 11 months ago
Metrology, Measurement and Metrics in Software Engineering
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
Alain Abran, Asma Sellami, Witold Suryn
ICSEA
2008
IEEE
16 years 25 days ago
Interdisciplinary Project-Based Learning in Ergonomics for Software Engineers: A Case Study
This paper discusses an interdisciplinary educational initiative led by an instructional team with backgrounds in engineering and psychology in the context of an ergonomics course...
Alexandra Branzan Albu, K. Malakuti, H. Tuokko, W....
METRICS
2005
IEEE
15 years 12 months ago
Can We Teach Empirical Software Engineering?
We report about an empirical software engineering course for PhD students. We introduce its syllabus and two different pedagogical strategies. The first strategy is based on indiv...
Maria Letizia Jaccheri, Thomas Østerlie
CSEE
2001
Springer
15 years 11 months ago
Incorporating PSP into a Traditional Software Engineering Course: An Experience Report
This paper presents an approach to incorporate PSP into a traditional Software Engineering course that is typically contained within a Computer Science curriculum. Advantages and ...
Jonathan I. Maletic, Anita Howald, Andrian Marcus