Search Results - "Rischel, H."
-
1
Specifying and verifying requirements of real-time systems
Published in IEEE transactions on software engineering (01-01-1993)“…An approach to specification of requirements and verification of design for real-time systems is presented. A system is defined by a conventional mathematical…”
Get full text
Journal Article -
2
Design and prototyping of real-time systems using CSP and CML
Published in Proceedings Ninth Euromicro Workshop on Real Time Systems (1997)“…A procedure for systematic design of event based systems is introduced by means of the Production Cell case study. The design is documented by CSP style…”
Get full text
Conference Proceeding
-
3
Design of embedded, real-time systems: developing a method for practical software engineering
Published in COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems (1990)“…The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are…”
Get full text
Conference Proceeding -
4
Specifying and verifying requirements of real-time systems: Software for critical systems
Published in IEEE transactions on software engineering (1993)Get full text
Journal Article -
5
Teaching object-oriented programming on top of functional programming
Published in 31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193) (2001)“…In the Informatics Programme at the Technical University of Denmark, the authors base the first course in object-oriented programming (using the Java language)…”
Get full text
Conference Proceeding -
6
A design method for embedded software systems
Published in BIT (01-09-1988)Get full text
Journal Article -
7
A theory-based introductory programming course
“…This paper presents an introductory programming course designed to teach programming as an intellectual activity. The course emphasizes understandable concepts…”
Get full text
Conference Proceeding Journal Article -
8
Specification Of Embedded, Real-time Systems
Published in Fourth Euromicro workshop on Real-Time Systems (1992)“…An approach to requirements specification and subsequent verification of designs for embedded, real-time systems is presented. A system is given by a…”
Get full text
Conference Proceeding