10239 search results - page 89 / 2048 » Postmodern Software Development |
CASCON
2007
14 years 11 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
TOOLS
1994
IEEE
15 years 2 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...