Sciweavers

3272 search results - page 155 / 655
» Introduction to Software Performance Engineering
Sort
View
127
Voted
ICSM
2002
IEEE
15 years 9 months ago
Architecture Analysis Tools to Support Evolution of Large Industrial Systems
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
Tobias Rötschke, René L. Krikhaar
174
Voted
RE
2010
Springer
14 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SIGCOMM
2010
ACM
15 years 4 months ago
Architecture optimisation with Currawong
We describe Currawong, a tool to perform system software architecture optimisation. Currawong is an extensible tool which applies optimisations at the point where an application i...
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
186
Voted
WCRE
2010
IEEE
15 years 2 months ago
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
Hassen Grati, Houari A. Sahraoui, Pierre Poulin
SIGSOFT
2010
ACM
15 years 2 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby