7202 search results - page 118 / 1441 » Software System Engineering: A Tutorial |
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
SIGDOC
1992
ACM
15 years 6 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
129
Voted
WCRE
1993
IEEE
15 years 6 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
104
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...
106
Voted
COMPSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...