Sciweavers

2878 search results - page 99 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ISPASS
2010
IEEE
16 years 18 days ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
156
Voted
ICSM
1997
IEEE
15 years 10 months ago
A Model for Change Propagation Based on Graph Rewriting
This paper presents a model of change propagation during software maintenance and evolution. Change propagation is modeled as a sequence of snapshots, where each snapshot represen...
Vaclav Rajlich
ECLIPSE
2004
ACM
15 years 11 months ago
Supporting model checking education using BOGOR/Eclipse
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
DATESO
2009
269views Database» more  DATESO 2009»
15 years 3 months ago
The BPM to UML activity diagram transformation using XSLT
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
Ondrej Macek, Karel Richta
ACSC
2001
IEEE
15 years 9 months ago
TRAM: A Tool for Requirements and Architecture Management
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
Jun Han