1574 search results - page 33 / 315 » Integrated Tools for Performance-Oriented Distributed Softwa... |
144
Voted
WCRE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
114
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
127
Voted
FM
1998
Springer
15 years 6 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
PDP
2007
IEEE
15 years 9 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
106
Voted
CSEE
2009
Springer
15 years 9 months ago
2009
Springer
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...