Books on the topic 'Formal requirements'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Formal requirements.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Fuxman, Ariel Damian. Formal analysis of early requirements specifications. Ottawa: National Library of Canada, 2001.
Find full textSystems engineering and architecting: Creating formal requirements. boca Raton, FL: CRC Press, 2012.
Find full textOwens, Dermot. A comparison of formal and informal requirements specification methods. [s.l: The Author], 1993.
Find full textShaikh, Shazib E. E-business process negotiation: Formal requirements for strategy support. Lahore: Centre for Management and Economic Research, Lahore University of Management Sciences, 2007.
Find full textThomas, Alan M. The utilization of prior learning assessment as a basis for admission and the establishment of advanced standing in education in Canada. [Toronto: Ontario Institute for Studies in Education?], 1989.
Find full textVito, Ben L. Di. Using formal methods to assist in the requirements analysis of the space shuttle GPS change request. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1996.
Find full textBarbara, Paech, and Martell Craig, eds. Innovations for requirements analysis: From stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers. Berlin: Springer, 2008.
Find full textMonterey Workshop (14th 2007 Monterey, Calif.). Innovations for requirements analysis: From stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers. Berlin: Springer, 2008.
Find full textMonterey Workshop (14th 2007 Monterey, Calif.). Innovations for requirements analysis: From stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers. Berlin: Springer, 2008.
Find full textMonterey Workshop (14th 2007 Monterey, Calif.). Innovations for requirements analysis: From stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers. Berlin: Springer, 2008.
Find full textPaech, Barbara, and Craig Martell, eds. Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89778-1.
Full textDyagilev, Vasiliy, and Pavel Razov. Logic. Theory of argumentation. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1085524.
Full textCanadian Centre for Occupational Health and Safety. The material safety data sheet: International format : a brief summary of Canadian requirements. Hamilton, ON: Canadian Centre for Occupational Health and Safety, 1996.
Find full textAkmalova, Al'fiya, and Vladimir Kapicyn. Conceptual foundations of the modern social state and social law. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/949358.
Full textBabeshko, Lyudmila, and Irina Orlova. Econometrics and econometric modeling in Excel and R. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1079837.
Full textPower, B. J. Accounting law and practice for limited companies: Format and disclosure requirements under the Irish Companies Acts 1963 to 1986, and accounting standards. Dublin: Gill and Macmillan, 1987.
Find full textInternational Workshop RTSE '97 (1997 Bernried, Weilheim-Schongau, Germany). Requirements targeting software and systems engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings. Berlin: Springer, 1998.
Find full textSemenova, Elena. Actual problems of designing the educational process. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1013701.
Full textShevcov, Aleksandr. Classical and non-classical logic in historical-philosophical aspect: basic principles and concepts. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1018310.
Full textShumilina, Vera, Galina Krohicheva, Yuliya Mezentseva, Elena Evstafieva, Tat'yana Sidorina, Nataliya Izvarina, Ol'ga Nikulina, et al. Management of enterprises and organizations: problems and solutions. au: AUS PUBLISHERS, 2021. http://dx.doi.org/10.26526/monography_6180d1003e3fd1.15351579.
Full textExperiences using formal methods for requirements modeling. [Washington, DC]: National Aeronautics and Space Administration, 1996.
Find full textBellagamba, Laurence. Systems Engineering and Architecting: Creating Formal Requirements. Taylor & Francis Group, 2012.
Find full textBellagamba, Laurence. Systems Engineering and Architecting: Creating Formal Requirements. Taylor & Francis Group, 2017.
Find full text1965-, Easterbrook S. M., and United States. National Aeronautics and Space Administration., eds. Experiences using lightweight formal methods for requirements modeling. [Washington, DC: National Aeronautics and Space Administration, 1997.
Find full text1965-, Easterbrook S. M., and United States. National Aeronautics and Space Administration., eds. Experiences using lightweight formal methods for requirements modeling. [Washington, DC: National Aeronautics and Space Administration, 1997.
Find full textMcFarlane, Ben, Nicholas Hopkins, and Sarah Nield. 7. Formal methods of acquisition:. Oxford University Press, 2015. http://dx.doi.org/10.1093/he/9780198722847.003.0007.
Full textUnited States. National Aeronautics and Space Administration. Scientific and Technical Information Program., ed. Towards the formal specification of the requirements and design of a processor interface unit. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Program, 1993.
Find full textUnited States. National Aeronautics and Space Administration. Scientific and Technical Information Program., ed. Towards the formal verification of the requirements and design of a processor interface unit. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Program, 1993.
Find full textUnited States. National Aeronautics and Space Administration. Scientific and Technical Information Program., ed. Towards the formal verification of the requirements and design of a processor interface unit. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Program, 1993.
Find full textDeborah, Frincke, and Langley Research Center, eds. Formal representation of the requirements for an Advanced Subsonic Civil Transport (ASCT) flight control system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.
Find full textDeborah, Frinke, and Langley Research Center, eds. Formal representation of the requirements for an Advanced Subsonic Civil Transport (ASCT) flight control system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.
Find full textJ, Windley Phillip, Cohen Gerald C, and Langley Research Center, eds. Towards the formal verification of the requirements and design of a processor interface unit: HOL listings. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Find full textJ, Windley Phillip, Cohen G. C, and Langley Research Center, eds. Towards the formal specification of the requirements and design of a processor interface unit: HOL listings. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Find full textJ, Windley Philip, Cohen G. C, and Langley Research Center, eds. Towards the formal verification of the requirements and design of a processor interface unit: HOL listings. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Find full textW, Roberts Larry, and Langley Research Center, eds. Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request: Under contracts NAS1-19341 and NAS9-18817. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1996.
Find full textUsing formal methods to assist in the requirements analysis of the Space Shuttle GPS change request: Under contracts NAS1-19341 and NAS9-18817. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1996.
Find full textGreco, Ciro, Trang Phan, and Liliane Haegeman. On nó as an optional expletive in Vietnamese. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198815853.003.0002.
Full textStefan, Vogenauer. Ch.1 General Provisions, General Provisions I: Arts 1.1–1.3—Fundamental principles, Art.1.2. Oxford University Press, 2015. http://dx.doi.org/10.1093/law/9780198702627.003.0006.
Full textBroyde, Michael J. Refining Religious Arbitration in the United States and AbroadThe Jewish Experience. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190640286.003.0008.
Full textYoungjoon, Kwon. Contract Formation and Third Party Beneficiaries in Korea. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198808114.003.0014.
Full textCunningham-Hill, Susan, and Karen Elder. 11. Drafting statements of case. Oxford University Press, 2017. http://dx.doi.org/10.1093/he/9780198787655.003.0011.
Full textCunningham-Hill, Susan, and Karen Elder. 11. Drafting Statements of Case. Oxford University Press, 2018. http://dx.doi.org/10.1093/he/9780198823193.003.0011.
Full textTayseng, Ly. Formation of Contract and Third Parties in Cambodia. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198808114.003.0017.
Full textDarrigol, Olivier. Models, structure, and generality in Clerk Maxwell’s theory of electromagnetism. Edited by Karine Chemla, Renaud Chorlay, and David Rabouin. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780198777267.013.12.
Full textCharles, Proctor. Part E Guarantees and Security, 26 Guarantees. Oxford University Press, 2015. http://dx.doi.org/10.1093/law/9780199685585.003.0026.
Full textProtocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen. Wiesbaden: Vieweg+Teubner Verlag, 2003.
Find full textMil-R-28002B: Requirements for Raster Graphics Representation in Binary Format (12/92). Interpharm Pr, 1994.
Find full textBond, Johanna. The Challenges of Parity: Increasing Women’s Participation in Informal Justice Systems within Sub-Saharan Africa. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198829621.003.0007.
Full textPruysers, Scott, William P. Cross, Anika Gauja, and Gideon Rahat. Candidate Selection Rules and Democratic Outcomes. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198758631.003.0009.
Full textButt, Simon, and Tim Lindsey. The Civil Code, Civil Liability, and Contract Law. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199677740.003.0015.
Full text