Sciweavers

2613 search results - page 224 / 523
» Active Software Artifacts
Sort
View
SIGCSE
2009
ACM
130views Education» more  SIGCSE 2009»
16 years 7 months ago
Introducing PyLighter: dynamic code highlighter
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
Michael G. Boland, Curtis C. Cliburn
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
WCRE
2008
IEEE
16 years 27 days ago
PREREQIR: Recovering Pre-Requirements via Cluster Analysis
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...
Jane Huffman Hayes, Giuliano Antoniol, Yann-Ga&eum...
AGILEDC
2007
IEEE
16 years 27 days ago
Establishing the Agile PMO: Managing variability across Projects and Portfolios
Our Portfolio Management Office helps to balance the demand on the firm’s resources from multiple competing and sometimes inter-dependent projects. Traditional Project/Portfolio...
Ash Tengshe, Scott Noble
IWPC
2006
IEEE
16 years 16 days ago
An Approach for Extracting Workflows from E-Commerce Applications
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
Ying Zou, Maokeng Hung