Information Technology Reference
In-Depth Information
11. Bjørner, D.: Domain Engineering. In: reprinted March 2007. To appear as a chapter
in a book based on the BCS FACS Evening Seminars to be published by Springer
(UK), Springer, Heidelberg (2006)
12. Bjørner, D., George, C.W., Stig Hansen, B., Laustrup, H., Prehn, S.: A rail-
way system, coordination'97, case study workshop example. Technical Report 93,
UNU/IIST, P.O.Box 3058, Macau (1997)
13. Drechsler, R., Große, D.: System level validation using formal techniques. IEE
Proc.-Comput. Digit. Tech. 152(3), 393-406 (2005)
14. Dyhrberg, R., Christensen, N.: A Domain-Specific Language for Tramway Con-
trol Systems. Master's thesis, Informatics and Mathematical Modelling, Technical
University of Denmark, DTU (May 2004)
15. Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E.,
Westkamper, E. (eds.): Integration of Software Specification Techniques for Ap-
plications in Engineering. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M.,
Reif, W., Schnieder, E., Westkamper, E. (eds.) Integration of Software Specification
Techniques for Applications in Engineering. LNCS, vol. 3147, pp. 3-540. Springer,
Heidelberg (2004)
16. European Committee for Electrotechnical Standardization. EN 50128 - Railway
applications - Communications, signalling and processing systems - Software for
railway control and protection systems. CENELEC, Brussels (2001)
17. Gjaldbæk, T., Haxthausen, A.E.: Modelling and Verification of Interlocking Sys-
tems for Railway Lines. In: Proceedings of the 10th IFAC Symposium on Control
in Transportation Systems, Elsevier, Amsterdam (2003)
18. Goos, G., Zimmermann, W.: Verification of compilers. In: Correct System Design,
pp. 201-230. Springer, Heidelberg (1999)
19. Grotker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer
Academic Publishers, Dordrecht (2002)
20. Haxthausen, A.E., Christensen, N., Dyhrberg, R.: From Domain Model to
Domain-specific Language for Railway Control Systems. In: Proceedings of For-
mal Methods for Automation and Safety in Railway and Automotive Systems
(FORMS/FORMAT 2004), Braunschweig, Germany (2004)
21. Haxthausen, A.E., Peleska, J.: Formal Development and Verification of a Distrib-
uted Railway Control System. IEEE Transaction on Software Engineering 26(8),
687-701 (2000)
22. Haxthausen, A.E., Peleska, J.: Formal Methods for the Specification and Verifi-
cation of Distributed Railway Control Systems: From Algebraic Specifications to
Distributed Hybrid Real-Time Systems. In: Forms '99 - Formale Techniken fur
die Eisenbahnsicherung Fortschritt-Berichte VDI, Reihe 12, Nr. 436, pp. 263-271.
VDI-Verlag, Dusseldorf (2000)
23. Haxthausen, A.E., Peleska, J.: A Domain Specific Language for Railway Control
Systems. In: Proceedings of the Sixth Biennial World Conference on Integrated
Design and Process Technology (IDPT2002), Pasadena, California, June 23-28 2002
(2002)
24. Haxthausen, A.E., Peleska, J.: Automatic Verification, Validation and Test for
Railway Control Systems based on Domain-Specific Descriptions. In: Proceedings
of the 10th IFAC Symposium on Control in Transportation Systems, Elsevier,
Amsterdam (2003)
25. Haxthausen, A.E., Peleska, J.: Generation of Executable Railway Control Com-
ponents from Domain-Specific Descriptions. In: Proceedings of the Symposium on
Formal Methods for Railway Operation and Control Systems (FORMS'2003), Bu-
dapest/Hungary, May 15-16 2003, pp. 83-90. L'Harmattan Hongrie (2003)
Search WWH ::
Custom Search