APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE