Suchergebnisse - "!SAE!standard!AADL!"

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Autoren: Besnard, Loïc Borde, Etienne Dissaux, Pierre et al.

Weitere Verfasser: Besnard, Loïc Borde, Etienne Dissaux, Pierre et al.

Quelle: https://inria.hal.science/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27.

Schlagwörter: embedded!system!design, !formal!semantics!and!analysis, !synchronous!programming, !SAE!standard!AADL!, ACM: I.: Computing Methodologies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Verfügbarkeit: https://inria.hal.science/hal-00970244
https://inria.hal.science/hal-00970244v2/document
https://inria.hal.science/hal-00970244v2/file/RT_446.pdf