7202 search results - page 75 / 1441 » Software System Engineering: A Tutorial |
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
112
click to vote
IWPC
2008
IEEE
15 years 8 months ago
2008
IEEE
REportal is an existing web-based reverse engineering portal web site that provides access to a suite of reverse engineering and program comprehension tools via a web This abstrac...
122
click to vote
CISIS
2010
IEEE
15 years 25 days ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
123
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
110
click to vote
SIGADA
2005
Springer
15 years 7 months 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...