Information Technology Reference
In-Depth Information
References
[Abr96] Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge
University Press, Cambridge (1996)
[BB87] Blokdijk, A., Blokdijk, P.: Planning and Design of Information Systems.
Academic Press, London (1987)
[BB06] Burns, A., Baxter, G.: Time bands in systems structure. In: Besnard, et al.
(eds.), pp. 74-90 [BGJ06]
[BGJ06] Besnard, D., Gacek, C., Jones, C.B.: Structure for Dependability: Computer-
Based Systems from an Interdisciplinary Perspective. Springer, Heidelberg
(2006)
[BHBF05] Burns, A., Hayes, I.J., Baxter, G., Fidge, C.J.: Modelling temporal behav-
iour in complex socio-technical systems. Technical Report YCS 390, Depart-
ment of Computer Science, University of York (2005)
[Bjø06]
Bjørner, D.: Software Engineering 3: Domains, Requirements, and Software
Design. Springer, Heidelberg (2006)
[BS01]
Broy, M., Stølen, K.: Specification and Development of Interactive Systems.
Springer, Heidelberg (2001)
[CHR91]
Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Informa-
tion Processing Letters 40, 269-271 (1991)
[Col06]
Coleman, J.W.: Determining the specification of a control system: an illus-
trative example. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna,
E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS,
vol. 4157, pp. 114-132. Springer, Heidelberg (2006)
[CZ97]
Cau, A., Zedan, H.: Refining interval temporal logic specifications. In: Rus,
T., Bertran, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS
1997. LNCS, vol. 1231, pp. 79-94. Springer, Heidelberg (1997)
[Daw91]
Dawes, J.: The VDM-SL Reference Guide. Pitman (1991)
[FS94a]
Fix, L., Schneider, F.B.: Reasoning about programs by exploiting the envi-
ronment. In: Shamir, E., Abiteboul, S. (eds.) ICALP 1994. LNCS, vol. 820,
pp. 328-339. Springer, Heidelberg (1994)
[FS94b]
Fix, L., Schneider, F.B.: Hybrid verification by exploiting the environment.
In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) Formal Techniques in
Real-Time and Fault-Tolerant Systems. LNCS, vol. 863, pp. 1-18. Springer,
Heidelberg (1994)
[HJJ03]
Hayes, I., Jackson, M., Jones, C.: Determining the specification of a control
system from that of its environment. In: Araki, K., Gnesi, S., Mandrioli, D.
(eds.) FME 2003. LNCS, vol. 2805, pp. 154-169. Springer, Heidelberg (2003)
[Hoo91]
Hooman, J.: Specification and Compositional Verification of Real-Time Sys-
tems. Springer, Heidelberg (1991)
[Jac00]
Jackson, M.: Problem Frames: Analyzing and structuring software develop-
ment problems. Addison-Wesley, Reading (2000)
[Jon90]
Jones, C.B.: Systematic Software Development using VDM. Prentice-Hall,
Englewood Cliffs (1990)
[Jon96]
Jones, C.B.: Accommodating interference in the formal design of concurrent
object-based programs. Formal Methods in System Design 8(2), 105-122
(1996)
[Lan73]
Langefors, B.: Theoretical Analysis of Information Systems. Studententlit-
teratur, Sweden (1973)
Search WWH ::




Custom Search