Sciweavers

INFSOF
2002
69views more  INFSOF 2002»
13 years 10 months ago
Soft-link hypertext for information retrieval
This paper provides a formal speci
Mark d'Inverno, Paul Howells, Michael J. Hu, Micha...
INFSOF
2002
85views more  INFSOF 2002»
13 years 10 months ago
A methodology of testing high-level Petri nets
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
Hong Zhu, Xudong He
INFSOF
2002
65views more  INFSOF 2002»
13 years 10 months ago
The documentary structure of source code
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
Michael L. Van de Vanter
INFSOF
2002
88views more  INFSOF 2002»
13 years 10 months ago
Methodologies and website development: a survey of practice
Website development work is a growing aspect of the IT activities within many organisations. However, the manner in which website development actually takes place within organisat...
Mark J. Taylor, J. McWilliam, H. Forsyth, S. Wade
INFSOF
2002
126views more  INFSOF 2002»
13 years 10 months ago
Detection of dynamic execution errors in IBM system automation's rule-based expert system
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneid...
INFSOF
2002
95views more  INFSOF 2002»
13 years 10 months ago
Semantic and behavioral library transformations
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
Sibylle Schupp, Douglas Gregor, David R. Musser, S...
INFSOF
2002
59views more  INFSOF 2002»
13 years 10 months ago
Mutant Query Plans
Vassilis Papadimos, David Maier
INFSOF
2002
147views more  INFSOF 2002»
13 years 10 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung
INFSOF
2002
108views more  INFSOF 2002»
13 years 10 months ago
Architectural styles for distributed processing systems and practical selection method
The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...
Yoshitomi Morisawa, Katsuro Inoue, Koji Torii