INFSOF
2002
13 years 11 months ago
2002
This paper provides a formal speci
INFSOF
2002
13 years 11 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
INFSOF
2002
13 years 11 months ago
2002
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 ...
INFSOF
2002
13 years 11 months ago
2002
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...
INFSOF
2002
13 years 11 months ago
2002
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 ...
INFSOF
2002
13 years 11 months ago
2002
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...
INFSOF
2002
13 years 11 months ago
2002
INFSOF
2002
13 years 11 months ago
2002
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...
INFSOF
2002
13 years 11 months ago
2002
The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...
INFSOF
2002
13 years 11 months ago
2002