Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
APSEC
2001
IEEE
11 years 9 months ago
Tailoring and Verifying Software Process
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae
APSEC
2001
IEEE
11 years 9 months ago
A Framework for Migrating Procedural Code to Object-Oriented Platforms
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
Ying Zou, Kostas Kontogiannis
APSEC
2001
IEEE
11 years 9 months ago
A Component-Based Framework and Reusability in Garment
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
Naixiao Zhang, Ying Liu
APSEC
2001
IEEE
11 years 9 months ago
The Steam Boiler in a Unified Theory of Z and CSP
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
Jim Woodcock, Ana Cavalcanti
APSEC
2001
IEEE
11 years 9 months ago
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
Christos Tjortjis, Paul J. Layzell
APSEC
2001
IEEE
11 years 9 months ago
Aspect-Oriented Implementation of Software Health Indicators
James Thai, Barry R. Pekilis, Alexander Lau, Rudol...
APSEC
2001
IEEE
11 years 9 months ago
Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...
Frank Padberg
APSEC
2001
IEEE
11 years 9 months ago
A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro...
APSEC
2001
IEEE
11 years 9 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
books