Sciweavers

2846 search results - page 28 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
ASWSD
2004
Springer
15 years 11 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai
SIGADA
2005
Springer
15 years 11 months ago
The affordable application of formal methods to software engineering
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...
James F. Davis
CGO
2008
IEEE
15 years 8 months ago
Pipa: pipelined profiling and analysis on multi-core systems
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
Qin Zhao, Ioana Cutcutache, Weng-Fai Wong
WCRE
1999
IEEE
15 years 10 months ago
Reusing Domains for the Construction of Reverse Engineering Tools
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
Felipe Gouveia de Freitas, Julio Cesar Sampaio do ...
ICSE
2008
IEEE-ACM
16 years 6 months ago
Power through brokering: open source community participation in software engineering student projects
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
Birgit R. Krogstie