메뉴 건너뛰기




Volumn 11, Issue 3, 2008, Pages 235-245

Toward a property based requirements theory: System requirements structured as a semilattice

Author keywords

"De dido" and "de re" relationship; Allocation; Conjunction operation; Coupling; Derivation; Expectation; Ontology; Property based requirement; Semilattice; Specification; Stringency relationship; SysML; Well formed requirement

Indexed keywords

INDUSTRIAL ENGINEERING; PROCESS DESIGN; PROCESS ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING; TECHNOLOGY;

EID: 52649125725     PISSN: 10981241     EISSN: 15206858     Source Type: Journal    
DOI: 10.1002/sys.20097     Document Type: Article
Times cited : (40)

References (26)
  • 1
    • 52649149628 scopus 로고
    • Integrated modular avionics packaging and interfaces
    • AEEC Airlines Electronic Engineering Committee, Annapolis, MD, July
    • AEEC (Airlines Electronic Engineering Committee), Integrated modular avionics packaging and interfaces. ARINC Report 650. Annapolis, MD, July 1994.
    • (1994) ARINC Report , vol.650
  • 2
    • 35048865098 scopus 로고    scopus 로고
    • Design guidance for integrated modular avionics
    • AEEC Airlines Electronic Engineering Committee, 651-1, Annapolis. MD, November
    • AEEC (Airlines Electronic Engineering Committee), Design guidance for integrated modular avionics. ARINC Report 651-1, Annapolis. MD, November 1997.
    • (1997) ARINC Report
  • 4
    • 0004190631 scopus 로고
    • American Mathematical Society, 3rd edition. Providence, RI
    • G. Birkhoff, Lattice theory. American Mathematical Society, 3rd edition. Providence, RI, 1967.
    • (1967) Lattice theory
    • Birkhoff, G.1
  • 5
    • 0003838715 scopus 로고    scopus 로고
    • 5th edition. Bosch, Stuttgart, Germany
    • R. Bosch, Automotive handbook. 5th edition. Bosch, Stuttgart, Germany, 2000.
    • (2000) Automotive handbook
    • Bosch, R.1
  • 7
    • 5044222988 scopus 로고
    • Treatise on basic philosophy
    • Reidel, Dordrecht
    • M.A. Bunge, Treatise on basic philosophy. Volume 4. Ontology II: A world of systems, Reidel, Dordrecht. 1979.
    • (1979) Ontology II: A world of systems , vol.4
    • Bunge, M.A.1
  • 11
    • 35148839490 scopus 로고
    • A translation approach to portable ontologies
    • T. Gruber, A translation approach to portable ontologies. Knowledge Acquisition 5(2) (1993), 199-220.
    • (1993) Knowledge Acquisition , vol.5 , Issue.2 , pp. 199-220
    • Gruber, T.1
  • 13
    • 52649147329 scopus 로고    scopus 로고
    • IEEE, VHDL-AMS, VHDL Analog and mixed-signal extensions, IEEE Standard 1076.1, New York. NY. 1999.
    • IEEE, VHDL-AMS, VHDL Analog and mixed-signal extensions, IEEE Standard 1076.1, New York. NY. 1999.
  • 14
    • 0011209039 scopus 로고    scopus 로고
    • Standard for application and management of the systems engineering process, IEEE Computer Society
    • IEEE 1220, New York, NY
    • IEEE 1220, Standard for application and management of the systems engineering process, IEEE Computer Society. New York, NY, 2005.
    • (2005)
  • 15
    • 52649158007 scopus 로고    scopus 로고
    • Standard for the Exchange of Product Model Data (STEP) Part 233, Systems Engineering Data Representation, Draft
    • ISO 10303
    • ISO 10303, Standard for the Exchange of Product Model Data (STEP) Part 233, Systems Engineering Data Representation, Draft. 2000.
    • (2000)
  • 21
    • 11244348055 scopus 로고    scopus 로고
    • Defining synthesis: On the senses and the logic of design synthesis
    • A. Chakrabarti Editor, Springer, London
    • N.F.M. Roozenburg, "Defining synthesis: On the senses and the logic of design synthesis," Engineering design synthesis, A. Chakrabarti (Editor), Springer, London, 2002, pp. 3-18.
    • (2002) Engineering design synthesis , pp. 3-18
    • Roozenburg, N.F.M.1
  • 22
    • 52649116893 scopus 로고    scopus 로고
    • S AE, ARP 4754, Certification considerations for highly-integrated or complex aircraft systems, Warrendale, PA. April 10, 1996.
    • S AE, ARP 4754, Certification considerations for highly-integrated or complex aircraft systems, Warrendale, PA. April 10, 1996.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.