163 search results - page 4 / 33 » Software Engineering Research Group (GIIS) |
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
SIGADA
2005
Springer
14 years 24 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
IWC
2011
13 years 2 months ago
2011
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Programmers of all types from novice end-user developers to professional software engineers make use of application programming interfaces (API) within their various designs. And,...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Objective: Our objective is to describe how software engineering might benefit from an evidence-based approach and to identify the potential difficulties associated with the appro...