1963 search results - page 51 / 393 » How is aliasing used in systems software |
ACMSE
1998
ACM
14 years 1 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
UML
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
CBSQ
2003
Springer
14 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes an innovative use of a mix of networking standards and software implementation technologies for the design of industrial Human Machine Interface (HMI) systems....
IWSSD
2000
IEEE
14 years 1 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...