Registro:

Referencias:

• Alur, R., Courcoubetis, C., Dill, D., Model Checking for Real-Time Systems (1990) Proceedings of the IEEE 5th Annual Symposium on Logic in Computer Science
• Baresi, L., Orso, A., Pezzè, M., Introducing Formal Methods in Industrial Practice (1997) Proceedings of the 20th International Conference on Software Engineering (ICSE'97), pp. 56-66. , ACM Press (May)
• Baresi, L., Pezzè, M., On Formalizing UML with High Level Petri Nets (2001) Lecture Notes in Computer Sciences, 2001. , Concurrent Object-Oriented Programming and Petri Nets, G. A. Agha, F. De Cindio, G. Rozenberg, Eds. Springer-Verlag
• Burgueo, A., Rusu, V., Task-system analysis using Slope-Parametric Hybrid Automata (1997) Proceedings of the Euro-Par'97 Workshop on Real-Time Systems and Constraints, , Passau, Germany (August 26-29)
• Burns, A., Wellings, A.J., (1993) HRT-HOOD: A Structure Design Method for Hard Real-Time Systems, , YCS-93-199, York University
• Cheng, S., Stankovic, J.A., Scheduling Algorithm for Hard Real-Time Systems - A Brief Summary (1988) Hard Real-Time Systems Tutorial, , Stankovic and Ramaritham editors, IEEE Computer Society
• Corbett, J., Timing Analysis of Ada Tasking Programs (1996) IEEE Transactions on Software Engineering, 22 (7 JULY)
• Douglass, B.P., (1998) Real-time UML: Developing Efficient Objects for Embedded Systems, , Addison Wesley
• Duri, S., Buy, U., Devarapalli, R., Shatz, S., Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (1993) Proceedings of the International Symposium on Software Testing and Analysis, , ISSTA'93, June
• Elsistrøm, R., Lintulampi, R., Pezzè, M., Giving Semantics to SA/RT by Means of High-Level Timed Petri Nets (1993) J. Real-Time Syst., 5 (2-3), pp. 249-272. , May
• Felder, M., Ghezzi, C., Pezzè, M., Analyzing Requirements of State-Based Specifications: The Case of TB Nets (1993) Proceedings International Symposium on Software Testing and Analysis (ISSTA), , Cambridge, MA (June)
• Felder, M., Pezzè, M., RTD: A design notation for Structured Analysis Real-Time (1997) Proceedings of the KIT125 Workshop on Formal Methods for the Design of Real-Time Systems, , Como (Sept.)
• France, R.B., Semantically Extended Data Flow Diagrams: A Formal Specification Tool (1992) IEEE Trans. Softw. Eng., 18 (4 APR.)
• France, R.B., Larrondo-Petrie, M.M., From Structured Analysis to Formal Specifications: State of the Theory (1994) Proceedings of the ACM Computer Science Conference, pp. 249-256. , April, ACM Press
• Fraser, M.D., Kumar, K., Vaishnavi, V.K., Informal and Formal Requirements Specification Languages: Bridging the Gap (1991) IEEE Trans. Softw. Eng., 17 (5 MAY), pp. 454-466
• Fredette, A.N., Cleaveland, R., RTSL: A Formal Language for Real-Time Schedulability Analysis (1993) Proceedings of the Real-Time Systems Symposium, pp. 274-283. , Durham, NC (Dec.), Computer Society Press
• Ghezzi, C., Jazayeri, M., Mandrioli, D., (1991) Fundamentals of Software Engineering, , Prentice Hall, Englewood Cliffs, NJ
• Ghezzi, C., Mandrioli, D., Morasca, S., Pezzè, M., A Unified High-Level Petri-Net Formalism for Time-Critical Systems (1991) IEEE Trans. Softw. Eng., 17. , Feb
• Ghezzi, C., Mandrioli, D., Morzenti, A., TRIO, a Logic Language for Executable Specifications of Real-Time Systems (1990) J. Sys. Softw., , May
• Ghezzi, C., Morasca, S., Pezzè, M., Timing Analysis of Time Basic Nets (1994) J. Sys. Softw., 27 (7 NOV.)
• Gomaa, H., (1993) Software Design Methods for Concurrent and Real-Time Systems, , Addison Wesley
• Harel, D., Statecharts: A Visual Formalism for Complex Systems (1987) Science of Computer Programming, 8
• Hatley, D.J., Pirbhai, I.A., (1987) Strategies for Real-Time System Specification, , Dorset House, New York
• Houstin, C., Module Allocation of Real-Time Applications to Distributed Systems (1990) IEEE Trans. Softw. Eng., 16 (7 JULY)
• Real-Time Extensions to POSIX (1993) IEEE Standard P1003.1b, , IEEE Press (March)
• Jackson, M., (1983) System Development, , Prentice Hall, Englewood Cliffs, NJ
• Jensen, K., Coloured Petri Nets (1996) Monographs in Theoretical Computer Science, Second Edition, , Springer-Verlag, Berlin
• Jones, C.B., (1989) Systematic Software Development Using VDM, , Prentice-Hall, Englewood Cliffs, NJ
• Kronlöf, C., (1993) Method Integration - Concepts and Case Studies, , John Wiley & Sons
• Liu, L.Y., Shyamasundar, R.K., Static Analysis of Real-Time Distributed Systems (1990) IEEE Trans. Softw. Eng., 16, p. 4
• Moser, L.E., Ramakrishna, Y.S., Kutty, G., Melliar-Smith, P.M., Dillon, L.K., A Graphical Environment for the Design of Concurrent Real-Time Systems (1997) ACM Trans. Softw. Eng. Methodol., 6 (1 JAN.)
• Nissanke, N., (1997) Realtime Systems, , Prentice Hall, Englewood Cliffs, NJ
• Palis, M.A., Liou, J.-C., Wei, D.S.L., Task Clustering and Scheduling for Distributed Memory Parallel Architectures (1996) IEEE Trans. Para. Distrib. Syst., 7 (1 JAN)
• Pezzè, M., Ghezzi, C., Cabernet: An Environment for the Specification and Verification of Real-Time Systems (1992) Proceeding of DECUS Europe Symposium, , Cannes (France, Sept.)
• Richter, G., Maffeo, B., Toward a Rigorous Interpretation of ESML - Extended Systems Modeling Language (1993) IEEE Trans. Softw. Eng., 19 (2 FEB.)
• Stankovic, J.A., Spuri, M., Di Natale, M., Buttazzo, C., Implication of Classical Scheduling Results for Real-Time Systems (1995) IEEE Computer, pp. 16-25. , June
• Valmari, A., A Stubborn Attach to State Explosion (1991) Proceedings of the 2nd International Workshop on Computer-Aided Verification, , LNCS 531, Springer-Verlag
• Wang, E.Y., Richter, H.A., Cheng, B.H.C., Formalizing and Integrating the Dynamic Model with OMT (1997) Proceedings of the 20th International Conference on Software Engineering (ICSE), pp. 45-55. , ACM Press
• Ward, P.T., Mellor, S.J., (1985) Structured Development for Real-Time Systems, , Yourdon Press Computing Series
• Wing, J.M., Zaremski, A.M., Two Ways to Integrate Formal Specifications in Practice (1991) Proceedings of Formal Methods Europe
• Yeh, W.J., Young, M., Compositional Reachability Analysis Using Process Algebra (1991) Proceedings of the International Testing and Analysis Workshop (TAV 4), , ACM Press (Oct.)

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------