Search
Now showing items 1-2 of 2
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)
ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ...
An approach for detecting inconsistencies between behavioral models of the software architecture and the code
(IEEE, 2012)
In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been ...
Share this page