Browse by Journal
Number of items: 5.
D
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) |
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) |
K
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) |
L
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) |
M
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) |