Sm@RT Research Team

Sm@RT Research Team

Home
People
Publications
Talks
Projects
Contact

Light Dark Automatic

Special Issue on New Paradigms of Software Production and Deployment

Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer

January 2022

PDF Cite DOI

Type

Journal article

Publication

SN Comput. Sci.

Related

The Role of Formalism in System Requirements
AutoReq: expressing and verifying requirements for control systems
A contract-based method to specify stimulus-response requirements
AutoReq: expressing and verifying requirements for control systems
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain

© 2022 - ACDC. Last update: October, 11th, 2022

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite