A formal design notation for real-time systems

The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothl...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Felder, M., Pezzè, M.
Formato: JOUR
Materias:
Design of real time systems
Formal analysis of design specification
Formal design specification
Structured design
Embedded systems
Petri nets
Real time systems
Structural design
Structured programming
Software engineering
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_1049331X_v11_n2_p149_Felder
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares