-
3
-
-
0028320702
-
HRT-HOOD: A structured design method for hard real-time systems
-
Kluwer Academic Publishers
-
A. Burns and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems, 6:73-114, 1994. Kluwer Academic Publishers.
-
(1994)
Real-time Systems
, vol.6
, pp. 73-114
-
-
Burns, A.1
Wellings, A.2
-
4
-
-
4243554663
-
-
PhD thesis. Department of Computer Science. University of York
-
P. Cornwell. Reusable Component Engineering for Hard Real-Time Systems. PhD thesis. Department of Computer Science. University of York. 1998. http://www.cs.york. ac.uk/ftpdir/reports/YCST-98-04.ps.gz.
-
(1998)
Reusable Component Engineering for Hard Real-time Systems
-
-
Cornwell, P.1
-
5
-
-
84957689278
-
HOOD and Z for the development of complex software systems
-
Springer-Verlag
-
R. Di Giovanni and P. Iachini. HOOD and Z for the Development of Complex Software Systems. In VDM Europe, volume LNCS(428), pages 262-289. Springer-Verlag, 1990.
-
(1990)
VDM Europe
, vol.LNCS
, Issue.428
, pp. 262-289
-
-
Di Giovanni, R.1
Iachini, P.2
-
7
-
-
0006412382
-
-
Prentice Hall, Englewood Cliffs, NJ (USA)
-
HOOD Technical Group. HOOD Reference Manual 3.1. Prentice Hall, Englewood Cliffs, NJ (USA), 1993.
-
(1993)
HOOD Reference Manual 3.1
-
-
-
9
-
-
0004181991
-
-
International Standardisation Organisation, Geneva, CH, 1995. ISO/IEC 8652
-
ISO. Ada Reference Manual. International Standardisation Organisation, Geneva, CH, 1995. ISO/IEC 8652:1995.
-
(1995)
Ada Reference Manual
-
-
-
10
-
-
0001625292
-
Safety analysis of timing properties in real-time systems
-
September
-
J. Jahanian and A. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions in Software Engineering, SE-12(9):890-904, September 1986.
-
(1986)
IEEE Transactions in Software Engineering
, vol.SE-12
, Issue.9
, pp. 890-904
-
-
Jahanian, J.1
Mok, A.2
-
11
-
-
4344572985
-
The (continuing) evolution of UML for real-time systems development
-
A. Moore. The (continuing) Evolution of UML for Real-Time Systems Development. Dedicated Systems Magazine, Q4 2000. http://www.omimo.be/magazine/ 00q4/index004.htm.
-
(2000)
Dedicated Systems Magazine
, vol.Q4
-
-
Moore, A.1
-
13
-
-
0004121214
-
OMG unified modeling language specification, version 1.4
-
Object Management Group (OMG). OMG document formal/0109-67
-
Revision Task Force. OMG Unified Modeling Language Specification, Version 1.4. Technical report, Object Management Group (OMG), 2001. OMG document formal/0109-67.
-
(2001)
Technical Report
-
-
-
14
-
-
0002152274
-
Turning clockwise: Using UML in the real-time domain
-
B. Selic. Turning Clockwise: Using UML in the Real-Time Domain. Communications of the ACM, 42(10):46-54, 1999.
-
(1999)
Communications of the ACM
, vol.42
, Issue.10
, pp. 46-54
-
-
Selic, B.1
-
15
-
-
11844279281
-
-
Lectures at the 2nd Estonian Summer School on Computer and Systems Science, August
-
B. Selic. An Overview of UML 2.0. Lectures at the 2nd Estonian Summer School on Computer and Systems Science, August 2003. http://www.cs.ioc.ee/yik/ schools/ sum2003/?section=branselic.
-
(2003)
An Overview of UML 2.0
-
-
Selic, B.1
-
16
-
-
0003723732
-
Using UML for modeling complex real-time systems
-
Rational
-
B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. Technical report, Rational, http://www.rational.com/products/ whitepapers/umlrt.pdf, 2002.
-
(2002)
Technical Report
-
-
Selic, B.1
Rumbaugh, J.2
-
17
-
-
0036496931
-
Engineering reuse for onboard embedded real-time systems
-
John Wiley & Sons
-
T. Vudanega and G. Caspersen. Engineering Reuse for Onboard Embedded Real-Time Systems. Software - Practice and Experience, 32(3):233-264, 2002. John Wiley & Sons.
-
(2002)
Software - Practice and Experience
, vol.32
, Issue.3
, pp. 233-264
-
-
Vudanega, T.1
Caspersen, G.2
-
18
-
-
0033096613
-
A software process for the construction of predictable on-board embedded real-time systems
-
John Wiley & Sons
-
T. Vardanega and J. van Katwijk. A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Software - Practice and Experience, 29(3):235-266, 1999. John Wiley & Sons.
-
(1999)
Software - Practice and Experience
, vol.29
, Issue.3
, pp. 235-266
-
-
Vardanega, T.1
Van Katwijk, J.2
|