- Aba95.M. Abadi and L. Lamport, "Conjoining Specifications", ACM Transactions on Programming Languages and Systems Vol. 17 No. 3, May 1995, 507-535.]] Google ScholarDigital Library
- Abr80.J.R. Abrial, "The Specification Language Z: Syntax and Semantics". Programming Research Group, Oxford Univ., 1980.]]Google Scholar
- Abr96.J.R. Abrial, The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.]] Google ScholarDigital Library
- All89.J.E Allen and P.J. Hayes, "Moments and Points in an Interval-Based Temporal Logic", Computational Intelligence, Vol. 5, 1989, 225-238.]] Google ScholarDigital Library
- Ast86.Astesiano, E., Wirsing, M., "An introduction to ASL", Proc. IFIP WG2.1 Conf. on Program Specifications and Transformations, North-Holland, 1986.]] Google ScholarDigital Library
- Atl93.J.M. Atlee, State-Based Model Checking of Event-Driven System Requirements, IEEE Transactions on Software Engineering Vol. 19 No. 1, January 1993, 24-40.]] Google ScholarDigital Library
- Bal82.R.M. Balzer, N.M. Goldman, and D.S. Wile, "Operational Specification as the Basis for Rapid Prototyping", ACM S1G- SOFTSoftw. Eng. Notes Vol. 7 No. 5, Dec. 1982, 3-16.]] Google ScholarDigital Library
- Beh99.E Behm, E Benoit, A. Faivre and J.M. Meynadier, "Mtttor: A Successful Application of B in a Large Project", Proc. FM-99 - World Conference on Formal Methods in the Development of Computing Systems, LNCS 1708, Springer- Verlag, 1999, 369-387.]] Google ScholarDigital Library
- Ben96.S. Bensalem, Y. Lakhnech and H. Saidi, "Powerful Techniques for the Automatic Generation of Invariants", Proc. CAV'96 - 8th Intl Conference on Computer-Aided Verification, LNCS 1102, Springer-Verlag, 1996, 323-335.]] Google ScholarDigital Library
- Ber91.G. Bernot, M.C. Gaudel, ad B. Marre, "Software Testing Based on Formal Specifications: A Theory and a Tool", Software Engineering Journal, 1991.]] Google ScholarDigital Library
- Bor95.A. Borgida, J. Mylopoulos and R. Reiter, "On the Frame Problem in Procedure Specifications", IEEE Transactions on Software Engineering, Vol. 21 No. 10, October 1995, 785-798.]] Google ScholarDigital Library
- Car90.C. Morgan, Programming from Specifications. Prentice Hall, 1990.]] Google ScholarDigital Library
- Cla86.E.M.Clarke and E.A. Emerson, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications", ACM Trans. Program. Lang. Systems Vol. 8 No. 2, 1986, 244-263.]] Google ScholarDigital Library
- Cla96.E.M. Clarke, J.M. Wing et al, "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys Vol. 28 No. 4, December 1996, 626-643.]] Google ScholarDigital Library
- Cla99.E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking. MIT Press, 1999.]] Google ScholarDigital Library
- Cra93.D.Craigen, S. Gerhart and T. Ralston, An International Survey of Industrial Applications of Formal Methods. US Dept. Commerce, NIST, Computer Systems Lab., NISTGCR 93/626, March 1993.]]Google Scholar
- Cra95.D. Cralgen, S. Gerhart and T. Ralston, "Formal Methods Technology Transfer: Impediments and Innovation", in Applications of Formal Methods, M.G. Hinchey and J.P. Bowen (eds.), Prentice Hall, 1995, 399-419.]] Google ScholarDigital Library
- Cro95.J. Crow, S. Owre, J. Rushby, N. Shankar, M. Srivas, "A Tutorial Introduction to PVS". Proc. WIFT'95 - Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, April 1995. http://www.csl.sri.com/sri-csl-fm.html.]]Google Scholar
- Dar93.A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal- Directed Requirements Acquisition", Science of Computer Programming, Vol. 20, 1993, 3-50.]] Google ScholarDigital Library
- Dar96.R. Darimont and A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration", Proc. FSE'4 - Fourth ACM SIGSOFT Syrup. on the Foundations of Software Engineering, San Francisco, October 1996, 179-190.]] Google ScholarDigital Library
- Dij75.E.W. Dijkstra, "Guarded commands, nondeterminacy and the formal derivation of programs", Comm. ACM Vol. 18, August 1975, 453-457.]] Google ScholarDigital Library
- Doug94.J. Douglas and R.A. Kemmerer, "Aslantest: A Symbolic Execution Tool for Testing ASLAN Formal Specifications", Proc. ISTSTA '94 - Intl. Syrup. on Software Testing and Analysis, ACM Sotw. Eng. Notes, 1994, 15-27.]] Google ScholarDigital Library
- Dub91.Dubois, E., Hagelstein, J., Rifaut, A., "A Formal Language for the Requirements Engineering of Computer Systems", in Introducing a Logic Based Approach to Artificial Intelligence, A. Thayse (Ed.), Vol. 3, Wiley, 1991, 357-433.]] Google ScholarDigital Library
- Dub93.E. Dubois, Ph. Du Bois and M. Petit, "Object-Oriented Requirements Analysis: An Agent Perspective", Proc. ECOOP'93 - 7th European Conf. on Object-Oriented Programming, Springer-Verlag LNCS 707, 1993, 458-481.]] Google ScholarDigital Library
- Dwy99.M.B. Dwyer, G.S. Avrunin and J.C. Corbett, "Patterns in Property Specifications for Finite-State Verification", Proc. ICSE-99: 21th Intrnational Conference on Software Enginering, Los Angeles, 411-420.]] Google ScholarDigital Library
- Eme86.E.A. Emerson and J.Y. Halperu, ""Sometime" and "not Never" Revisited: on Branching versus Linear Time Temporal Logic", Journal oftheACM Vol. 33 No. 1, 1986, 151-178.]] Google ScholarDigital Library
- Ern99.M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin, "Dynamically Discovering Likely Program Invariants to Support Program Evolution", Proc. ICSE-99: 21th Intrnational Conference on Software Enginering, Los Angeles, 213-224.]] Google ScholarDigital Library
- Fau92.S. Faulk, J. Brackett, E Ward and J. Kirby, "The CORE Method for Real-Time Requirements", IEEE Software, September 1992, 22-33.]] Google ScholarDigital Library
- Fea87.M. Feather, "Language Support for the Specification and Development of Composite Systems", ACM Trans. on Programming Languages and Systems 9(2), Apr. 87, 198-234.]] Google ScholarDigital Library
- Fea98.M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling System Requirements and Runtime Behaviour", Proc. 1WSSD'98 - 9th International Workshop on Software Specification andDesign, Isobe, IEEE CS Press, April 1998.]] Google ScholarDigital Library
- Fic92.S. Fickas and R. Helm, "Knowledge Representation and Reasoning in the Design of Composite Systems", IEEE Trans. on Software Engineering, June 1992, 470-482.]] Google ScholarDigital Library
- Flo67.R. Floyd, "Assigning Meanings to Programs", In. Mathematical Aspects of Computer Science, Proc. Syrup. Appl. Maths., Vol. 19, American Mathematical Society, 1967, 19-32.]]Google ScholarCross Ref
- Fut85.K. Futatsugi, J. Goguen, J.-E Jounnaud, and J. Mesguer, "Principles of OBJ", Proc. POPL'85 - ACM Symposium on Principles of Programming Languages, 1985, 52-66.]] Google ScholarDigital Library
- Gan96.G.C. Gannod and B.H. Cheng, "Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering", Journal of Automated Software Engineering Vol. 3, June 1996, 139- 164.]] Google ScholarDigital Library
- Gau92.M.-C. Gandel, "Structuring and Modularizing Algebraic Specifications: the PLUSS specification language, evolutions and perspectives", Proc. STAS'92, LNCS 557, 1992, 3-18.]] Google ScholarDigital Library
- Ghe91.C. Ghezzi and R.A. Kemmerer, "ASTRAL: An Assertion Language for Specifying Real-Time Systems", Proc. ESEC'91 - 3rd European Softwre Engineering Conference, LNCS 550, Springer-Vedag, 1991.]] Google ScholarDigital Library
- Geo95.C. George, A.E. Haxthansen, S. Hughes, R. Milne S. Prehn and J.S. Pedersen, The RAISE Development Method. Prentice Hall, 1995.]]Google Scholar
- Gor93.M. Gordon and T.E Melham, Introduction to HOL. Cambridge University Press, 1993.]]Google Scholar
- Gre86.S.J. Greenspan, A. Borgida and J. Mylopoulos, "A Requirements Modeling Language and its Logic", Information Systems Vol. 11 No. 1, 1986, 9-23.]] Google ScholarDigital Library
- Gri81.D. Gries, The Science of Programming. Springer-Verlag, 1981.]] Google ScholarDigital Library
- Gut93.J.V. Guttag and J.J. Horning, LARCH: Languages and Tools for Formal Specification, Springer-Verlag, 1993.]] Google ScholarDigital Library
- Hal95.R.J. Hall, "Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization", Automated Software Engineering, Vol. 2, 1995, 131-166.]]Google ScholarCross Ref
- Hal96.A.Hall, "Using Formal Methods to Develop an ATC Information System", IEEE Software Vol. 12 No. 6, March 1996, 66-76.]] Google ScholarDigital Library
- Hal98.R.J. Hall, "Explanation-Based Scenario Generation for Reactive System Models", ASE'98, Hawaii, Oct. 1998.]] Google ScholarDigital Library
- Han91.K.M. Hansen, A.E Ravn and H. Rischel, "Specifying and Verifying Requirements of Real-Time Systems", Proc. ACM SIGSOFT'91 Conference on Software for Critical Systems, New Orleans, December 1991.]] Google ScholarDigital Library
- Har87.D. Harel, "Statecbarts: A Visual Formalism for Complex Systems", Science of Computer Programming Vol. 8, 1987, 231-274.]] Google ScholarDigital Library
- Har90.D.Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Tranring, and M. Trakhtenbrot, "STATEM- ATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Transactions on Software Engineering, Vol. 16 No. 4, April 1990, 403-414.]] Google ScholarDigital Library
- Heim96.M.E Heimdahl and N.G. Leveson, "Completeness and Consistency in Hierarchical State-Based Requirements", IEEE Transactions on Software Engineering Vol. 22 No. 6, June 1996, 363-377.]] Google ScholarDigital Library
- Heit96.C. Heitmeyer, R. Jeffords and B. Labaw, "Automated Consistency Checking of Requirements Specificatons", ACM Transactions on Software Engineering and Methodology Vol. 5 No. 3, July 1996, 231-261.]] Google ScholarDigital Library
- Hei98a.C. Heitmeyer, J. Kirkby, B. Labaw, M. Archer and R. Bharadwaj, "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering Vol. 24 No. 11, November 1998, 927-948.]] Google ScholarDigital Library
- Hei98b.C. Heitmeyer, J. Kirkby, B. Labaw, and R. Bharadwaj, "SCR: A Toolset for specifying and Analyzing Software Requirements", Proc. CAV'98 - lOth Annual Conference on Comuter-Aided Verification, Vancouver, 1998, 526-531.]] Google ScholarDigital Library
- Hek88.S. Hekmatpour and D. Ince, Software Prototyping, Formal Methods, and VDM. Addison-Wesley, 1988.]] Google ScholarDigital Library
- Hen80.K.L. Heninger, "Specifying Software Requirements for Complex Systems: New Techniques and their Application", IEEE Transactions on Software Engineering Vol. 6 No. 1, January 1980, 2-13.]]Google ScholarDigital Library
- Hin95.M.G. Hinchey and J.P. Bowen (eds.), Applications of Formal Methods. Prentice Hall, 1995]] Google ScholarDigital Library
- Hoa69.C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Comm. ACM Vol. 12 No. 12 No. 10, Oct. 1969, 576-583.]] Google ScholarDigital Library
- Hoa85.C.A.R.Hoare, Communicating Sequential Processes. Prenrice Hall, 1985.]] Google ScholarDigital Library
- Hol91.G.Holzman, Design and Validation of Computer Protocols. Prentice Hall, 1991.]] Google ScholarDigital Library
- Hol97.G. Holzman, "The Model Checker SPIN", IEEE Trans. on Software Engineering Vol. 23 No. 5, May 1997, 279-295.]] Google ScholarDigital Library
- Hun98.A. Hunter and B. Nuseibeh, "Managing Inconsistent Specifications: Reasoning, Analysis and Action", ACM Transactions on Software Engineering and Methodology, Vol. 7 No. 4. October 1998, 335-367.]] Google ScholarDigital Library
- Jac93.M. Jackson and P. Zave, "Domain Descriptions", Proc. RE'93 - 1st IntL IEEE Symp. on Requirements Engineering, Jan. 1993, 56-64.]]Google Scholar
- Jac95.D. Jackson, "Structuring Z Specifications with Views", ACM Transactions on Software Engineering and Methodology Vol. 4 No. 4, October 1995, 365-389.]] Google ScholarDigital Library
- Jac96.D. Jackson and C.A. Damon, Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector, IEEE Transactions on Software Engineering Vol. 22 No. 7, July 1996, 484-495.]] Google ScholarDigital Library
- Jah86.E Jahanian and A.K. Mok, "Safety Analysis of Timing Properties in Real-Time Systems", IEEE Transactions on Software Engineering, Vol. 12, September 1986, 890-904.]] Google ScholarDigital Library
- Jef98.R. Jeffords and C. Heitmeyer, "Automatic Generation of State Invariants from Requirements Specifications", Proc. FSE- 6: 6th ACM SIGSOFT lntl Symposium on the Foundations of Software Engineering, Lake Buena Vista, 1998, 56-69.]] Google ScholarDigital Library
- Jon90.Jones, C.B., Systematic Software using VDM, 2nd ed., Prentice Hall, 1990.]] Google ScholarDigital Library
- Jon93.A.J. Jones and M. Sergot, "On the Characterization of Law and Computer Systems: the Normative System Perspective", in J.Ch. Meyer and R.J. Wieringa (Eds.), Deontic Logic in Computer Science - Normative System Specification, Wiley, 1993.]] Google ScholarDigital Library
- Kat87.S. Katz, C.A. Richter, K.S. The, "PARIS: A System for Reusing Partially Interpreted Schemas", Proc. ICSE-87: 9th Intrnational Conference on Software Enginering, Monterey, CA, March 1987, 377-385.]] Google ScholarDigital Library
- Koy92.R. Koymans, Specifying message passing and time-critical systems with temporal logic, LNCS 651, Springer-Verlag, 1992.]] Google ScholarDigital Library
- Lam79.A.van Lamsweerde and M. Sintzoff, "Formal Derivation of Strongly Correct Concurrent Programs", Acta Informatica Vol. 12, 1979, 1-31.]]Google ScholarDigital Library
- Lam98a.A. van l_amsweerde and E. Letier, "Integrating Obstacles in Goal-Driven Requirements Engineering", Proc. ICSE-98: 20th Intrnational Conference on Software Enginering, Kyoto, April 1998.]] Google ScholarDigital Library
- Lam98b.A. van Lamsweerde, R. Darimont and E. Letier, "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE Trans. on Sofware. Engineering, Special Issue on Inconsistency Management in Software Development, November 1998.]] Google ScholarDigital Library
- Lam98c.A. van Lamsweerde and L. Willemet, "Inferring Declarative Requirements Specifications from Operational Scenarios", IEEE Trans. on Sofware. Engineering, Special Issue on Scenario Management, December 1998, 1089-1114.]] Google ScholarDigital Library
- Lam2K.A. van Lamsweerde and E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Transactions on Software Engineering, Special Issue on Exception Handling, 2000.]] Google ScholarDigital Library
- Lamp94.L. Lamport, "The Temporal Logic of Actions", ACM Transactions on Programming Languages and Systems Vol. 16 No. 3, May 1994, 872-923.]] Google ScholarDigital Library
- Lan95.Lano, K., Formal Object-Oriented Development, Springer- Verlag, 1995.]] Google ScholarDigital Library
- Lev94.N.G. Leveson, M.P. Heimdahl and H. Hildtreth, "Requirements Specification for Process-Control Systems", IEEE Transactions on Software Engineering Vol. 20 No. 9, September 1994, 684-706.]] Google ScholarDigital Library
- Lis75.B.H. Liskov and S.N. Zilles, "Specification Techniques for Data Abstractions", IEEE Transactions on Software Engineering Vol. 1. No. 1, March 1975, 7-18.]]Google Scholar
- MaM95.D. Mandrioli, S. Morasca, A. Morzenti, "Generating test cases for real-time systems from logic specifications", ACM Transactions on Computer Systems, Vo1.13 No.4, Nov. 1995, pp.365-398.]] Google ScholarDigital Library
- Man92.Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.]] Google ScholarDigital Library
- Man96.Z. Manna and the STep Group, "STEP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems", Proc. CAV'96 - 8th Intl. Conf. on Computer-Aided Verification, LNCS 1102, Springer-Verlag, July 1996, 415-418.]] Google ScholarDigital Library
- Mas97.P. Massonet and A. van Lamsweerde, "Analogical Reuse of Requirements Frameworks", Proc. RE-97 - 3rd Int. Symp. on Requirements Engineering, Annapolis, 1997, 26-37.]] Google ScholarDigital Library
- McM93.K.L. McMillan, Symbolic Model Checking: An Approach to the State Explosion Problem, Kluwer, 1993.]] Google ScholarDigital Library
- Mey85.B. Meyer, "On Formalism in Specifications", IEEE Software, Vol. 2 No. 1, January 1985, 6-26.]]Google ScholarDigital Library
- Mil89.R.Milner, Communication and Concurrency. Prentice Hall, 1989.]] Google ScholarDigital Library
- Mor92.A. Morzenti, D. Mandrioli, and C. Ghezzi, "A Model Parametric Real-Time Logic", ACM Transactions on Programming Languages and Systems, Vol. 14 No. 4, October 1992, 521-573.]] Google ScholarDigital Library
- Mos97.L. Moser, Y. Ramakrishna, G. Kutty, P.M. Melliar-Smith and L. Dillon, "A Graphical Environment for the Design of Concurrent Real-Time Systems", ACM Transactions on Software Engineering and Methodology, Vol. 6 No. 1, January 1997, 31-79.]] Google ScholarDigital Library
- Myl92.Mylopoulos, J., Chung, L., Nixon, B., "Representing and Using Nonfunctional Requirements: A Process-Oriented Approach", IEEE Trans. on Sofware. Engineering, Vol. 18 No. 6, June 1992, pp. 483-497.]] Google ScholarDigital Library
- Myl98.J. Mylopoulos, "Information Modeling in the Time of the Revolution", Invited Review, Information Systems Vol. 23 No. 3/4, 1998, 127-155.]] Google ScholarDigital Library
- Myl99.J. Mylopoulos, L. Chung and E. Yu, "From Object-Oriented to Goal-Oriented Requirements Analysis", Communications of the ACM, Vol. 42 No. 1, January 1999, 31-37.]] Google ScholarDigital Library
- Nau69.P Naur, "Proofs of algorithms by General Snapshots", BIT Vol. 6, 1969, 310-316.]]Google ScholarCross Ref
- Nis89.C. Niskier, T. Maibaum and D. Schwabe, "A Pluralistic Knowledge-Based Approach to Software Specification", Proc. ESEC-89 - 2nd European Software Engineering Conference, LNCS 387, September 1989, 411-423.]] Google ScholarDigital Library
- Nus93.B. Nuseibeh, J. Kramer and A. Finkelstein, "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specifications", IEEE Transactions on Software Engineering, Vol. 20 No. 10, October 1994, 760-773.]] Google ScholarDigital Library
- Owr95.S. Owre, J. Rushby, and N. Shankar, "Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS", IEEE Transactions on Software Engineering Vol. 21 No. 2, Feb. 95, 107-125.]] Google ScholarDigital Library
- Par72.D.L.Parnas, "A Technique for Software Module Specification With Examples", Comm. ACM Vol. 15, May 1972.]] Google ScholarDigital Library
- Par77.D.L. Parnas, "The Use of Precise Specifications in the Development of Software", Proc. IFIP'77 - Information Processing 77, North Holland, 1977, 849-867.]]Google Scholar
- Par95.D.L. Parnas and J. Madey, "Functional Documents for Computer Systems", Science of Computer Programming, Vol. 25, 1995, 41-61.]] Google ScholarDigital Library
- Par98.D.Y. Park, J. Skakkebaek, and D.L. Dill, "Static Analysis to Identify Invariants in RSML Specifications", Proc. FTRTFT'98 - Formal Techniques for Real Time or Fault Tolerance, 1998.]] Google ScholarDigital Library
- Pnu77.A. Pnueli, "The Temporal Logics of Programs", Proc. 18th IEEE Symp. on Foundations of Computer Science, 1977, 46-57.]]Google Scholar
- Pot96.B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z. Second edition, Prentice Hall, 1996.]] Google ScholarDigital Library
- Que82.J. Queille and J. Sifakis, "Specification and Verification of Concurrent Systems in CAESAR", Proc. 5th International Symposium on Programming, LNCS 137, 1982.]] Google ScholarDigital Library
- Ran73.B. Randell, The Origin of Digital Computers. Springer- Verlag, 1973.]] Google ScholarDigital Library
- Reu91.H.B. Reubenstein and R.C. Waters, "The Requirements Apprentice: Automated Assistance for Requirements Acquisition", IEEE Transactions on Software Engineering, Vol. 17 No. 3, March 1991, 226-240.]] Google ScholarDigital Library
- Ric92.D.J. Richardson, S. Leif Aha, T.O. O'Malley, "Specification-based test oracles for reactive systems", International Conference on Software Engineering, Melbourne, Australia, 11-15 May 1992. ACM, 1992, pp.105-118.]] Google ScholarDigital Library
- Roo94.D. Roong-Ko, P.G. Frankl, "The ASTOOT approach to testing object-oriented programs", ACM Transactions on Software Engineering and Methodology, Vol.3, No.2, April 1994, pp.101-130.]] Google ScholarDigital Library
- SCP2K.Science of Computer Programming, Special Issue on Formal Methods in Industry, Vol. 36 No. 1, January 2000.]]Google Scholar
- Sou93.J. Souquieres and N. Levy, "Description of Specification Developments", Proc. RE'93 - First IEEE Symposium on Requirements Engineering, San Diego, 1993, 216-223.]]Google Scholar
- Spi92.J.M. Spivey The Z Notation - A Reference Manual. Second Edition, Prentice Hall, 1992.]] Google ScholarDigital Library
- SRS79.Proceedings SRS - Specification of Reliable Software. IEEE Catalog No. 79 CH1401-9C, 1979.]]Google Scholar
- Swa82.W. Swartout and R. Balzer, "On the Inevitable Intertwining of Specification and Implementation", Communications of theACM, Vol. 25 No. 7, July 1982, 438-440.]] Google ScholarDigital Library
- Tho99.J.M. Thompson, M.E. Heimdahl, and S.P. Miller, "Specification-Based Prototyping for Embedded Systems", Proc. ESEC/FSE'99, Toulouse, ACM SIGSOFT, LNCS 1687, Springer-Verlag, 1999, 163-179.]] Google ScholarDigital Library
- Wey94.E. Weyuker, T. Goradia, A. Singh, "Automatically generating test data from a Boolean specification", IEEE Transactions on Software Engineering, Vol.20, No.5, May 1994, pp.353-363.]] Google ScholarDigital Library
- Win90.J.M. Wing, "A Specifier's Introduction to Formal Methods", IEEE Computer Vol. 23 No. 9, September 1990.]] Google ScholarDigital Library
- Win99.J.M. Wing, J. Woodcock and J. Davies (eds.), FM-99 - Worm Conference on Formal Methods in the Development of Computing Systems, LNCS 1708 and 1709, Springer-Verlag, 1999.]] Google ScholarDigital Library
- Yue87.K. Yue, "What Does It Mean to Say that a Specification is Complete?", Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, Monterey, 1987.]]Google Scholar
- Zar97.A.M. Zaremski and J. Wing "Specification Matching of Software Components", ACM Transactions on Software Engineering and Methodology, Vol. 6 No. 4, October 1997, 333- 369.]] Google ScholarDigital Library
- Zav82.P. Zave, "An Operational Approach to Requirements Specification for Embedded Systems", 1EEE Transactions on Software Engineering, Vol. 8 No. 3, May 1982, 250-269.]]Google ScholarDigital Library
- Zav93.E Zave and M. Jackson, "Conjunction as Composition", ACM Transactions on Software Engineering and Methodology, Vol. 2 No. 4, October 1993, 379-411.]] Google ScholarDigital Library
- Zav96.P. Zave and M. Jackson, "Where Do Operations Come From? A Multiparadigm Specification Technique", IEEE Transactions on Software Engineering, Vol. 22 No. 7, July 1996, 508-528.]] Google ScholarDigital Library
- Zav97.E Zave and M. Jackson, "Four Dark Corners of Requirements Engineering", ACM Transactions on Software Engineering and Methodology, 1997, 1-30.]] Google ScholarDigital Library
Index Terms
- Formal specification: a roadmap
Recommendations
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to carry out system property verification. This paper proposes a Controlled ...
Comments