Browse by Journal
Number of items: 5.
1999
Derrick, John, Boiten, Eerke Albert (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (doi:10.1016/S0950-5849(99)00044-0) (KAR id:17282) |
Lavington, Simon H., Dewhurst, N., Wilkins, E., Freitas, Alex A. (1999) Interfacing knowledge discovery algorithms to large database management systems. Information and Software Technology, 41 (9). pp. 605-617. ISSN 0950-5849. (doi:10.1016/S0950-5849(99)00024-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21713) |
1995
Mander, Keith C., Polack, Fiona A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. (doi:10.1016/0950-5849(95)99364-s) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21241) |
1993
Davies, Nigel, Davy, M.J., Blair, Gordon S., Mariani, John A. (1993) Object invocation and management in the zenith distributed multimedia information-system. Information and Software Technology, 35 (5). pp. 259-266. ISSN 0950-5849. (doi:10.1016/0950-5849(93)90059-c) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20868) |
1992
Kemp, Zarine P., Oxborrow, Elizabeth, Davy, M.J., Linington, Peter F., Thearle, R., Blair, Gordon S., Dark, P., Davies, N.A., Mariani, John A., Snape, C. and others. (1992) Zenith System for Object Management In Distributed Multimedia Design Environments. Information and Software Technology, 34 (7). pp. 427-436. ISSN 0950-5849. (doi:10.1016/0950-5849(92)90034-M) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22327) |