Software Cost Reduction-Reference-Cited by-同舟云学术

Software Cost Reduction

Published:2002-01-15 Issue: Volume: Page:
ISSN:
Container-title:Encyclopedia of Software Engineering
language:
Short-container-title:

Author:

Heitmeyer Constance L.¹

Affiliation:

1. Naval Research Laboratory

Publisher

John Wiley & Sons, Inc.

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/0471028959.sof307/fullpdf

Reference37 articles.

1. T. A. Alspaugh S. R. Faulk K. H. Britton R. A. Parker D. L. Parnas J. E. Shore Software Requirements for the A-7E Aircraft NRL-9194 Naval Research Lab. 1992

2. Using PVS Strategies for Special-purpose Theorem Proving;Archer;Annals of Mathematics and Artificial Intelligence,2000

3. M. Archer C. Heitmeyer E. Riccobene Using TAME to Prove Invariants of Automata Models: Case Studies Proceedings of the 2000 ACM SIGSOFT Workshop on Formal Methods in Software Practice (FMSP '00) 2000

4. R. Bharadwaj S. Sims Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems (TACAS '2000) Berlin 2000

5. K. Britton D. L. Parnas A-7E Software Module Guide 4702 Naval Research Lab. 1981

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification-Based Inspection;Agile-SOFL;2024

2. An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation;Software Engineering for Self-Adaptive Systems III. Assurances;2017

3. An Algorithm for Forward Reduction in Sequence-Based Software Specification;International Journal of Software Engineering and Knowledge Engineering;2016-11

4. Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements;Lecture Notes in Computer Science;2012

5. Defining the meaning of tabular mathematical expressions;Science of Computer Programming;2010-11