1199 search results - page 4 / 240 » Software Verification and Software Engineering a Practitione... |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the stateof-the art and the state-of-the-practice in global softw...
HICSS
2005
IEEE
14 years 18 days ago
2005
IEEE
The most popular unit of work in organizations is a project. Managing knowledge in and about projects is salient for successful project management. Explicit knowledge is easier to...
EMSOFT
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
ISSTA
2006
ACM
14 years 28 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
The theme and title for this panel is inspired by Donald Sch?n's writings about the reflective practitioner in which he describes professional practice as being a process of ...