Sciweavers

ASWEC
2005
IEEE
14 years 1 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ASWEC
2005
IEEE
14 years 1 months ago
Detecting Indirect Coupling
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan
ASWEC
2005
IEEE
14 years 1 months ago
Australian Software Development: What Software Project Management Practices Lead to Success?
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
June M. Verner, Narciso Cerpa
ASWEC
2005
IEEE
14 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
ASWEC
2005
IEEE
14 years 1 months ago
Quality Assurance in a Student-Based Agile Software Engineering Process
Andrew Marrington, James M. Hogan, Richard Thomas
ASWEC
2005
IEEE
14 years 1 months ago
A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
Francesca Arcelli Fontana, Stefano Masiero, Claudi...
ASWEC
2005
IEEE
14 years 1 months ago
Extending UML for Model Composition
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
Jacky Estublier, Anca Daniela Ionita
ASWEC
2005
IEEE
14 years 1 months ago
Operational Management Contracts for Adaptive Software Organisation
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
Alan W. Colman, Jun Han
ASWEC
2005
IEEE
14 years 1 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
ASWEC
2005
IEEE
14 years 1 months ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair