Abstract | ||
---|---|---|
The constrained expression approach to analysis of concurrent software systems can be used with a variety of design and programming languages and does not require a complete enumeration of the set of reachable states of the concurrent system. The construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. The toolset is capable of carrying out completely automated analyses of a variety of concurrent systems, starting from source code in an Ada-like design language and producing system traces displaying the properties represented bv the analysts queries. The strengths and weaknesses of the toolset and the approach are assessed on both theoretical and empirical grounds. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1109/32.106975 | IEEE Trans. Software Eng. |
Keywords | Field | DocType |
empirical ground,concurrent systems,concurrent system,complete enumeration,expression approach,expression analysis technique,programming language,analysts query,constrained expression toolset,automated analysis,concurrent software system,ada-like design language,computer languages,frequency,navigation,lifting equipment,parallel programming,source code,indexing terms,programming languages,formal method,operating systems,process control,software systems,formal methods | Design language,Analysis tools,Programming language,Software engineering,Computer science,Source code,Enumeration,Expression analysis,Real-time computing,Software system,Software,Formal methods | Journal |
Volume | Issue | ISSN |
17 | 11 | 0098-5589 |
Citations | PageRank | References |
63 | 12.39 | 21 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
George S. Avrunin | 1 | 1327 | 98.27 |
Ugo A. Buy | 2 | 150 | 18.94 |
James C. Corbett | 3 | 1736 | 166.89 |
Laura K. Dillon | 4 | 497 | 70.70 |
Jack C. Wileden | 5 | 446 | 112.70 |