메뉴 건너뛰기




Volumn 2001-May, Issue , 2001, Pages 391-400

Fast formal analysis of requirements via “Topoi diagrams”

Author keywords

[No Author keywords available]

Indexed keywords

COST BENEFIT ANALYSIS; ITERATIVE METHODS; REQUIREMENTS ENGINEERING; SOFTWARE TESTING; ALGORITHMS; FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

EID: 0035000620     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919112     Document Type: Conference Paper
Times cited : (12)

References (25)
  • 6
    • 34147120474 scopus 로고
    • A note on two problems in connexion with graphs
    • E.W. Dijkstra. A note on two problems in connexion with graphs. NumerischeMathematik, 1:269-271, 1959.
    • (1959) NumerischeMathematik , vol.1 , pp. 269-271
    • Dijkstra, E.W.1
  • 10
    • 33749328617 scopus 로고    scopus 로고
    • On the costs and benefits of using partial-order methods for the verificiation of concurrent systems (invited papers)
    • July 24-26, 1996
    • P. Godefroid. On the costs and benefits of using partial-order methods for the verificiation of concurrent systems (invited papers). In The I996 DIMACS workshopon Partial OrderMethods in Verijcaition, July 24-26, 1996, pages 289-303, 1997.
    • (1997) The I996 DIMACS Workshopon Partial OrderMethods in Verijcaition , pp. 289-303
    • Godefroid, P.1
  • 12
    • 18744404974 scopus 로고
    • Using global properties for qualitative reasoning: A qualitative system theory
    • Y. Ishida. Using global properties for qualitative reasoning: A qualitative system theory. In ProceedingsofIJCAI '89, pages 1174-1179.. 1989.
    • (1989) ProceedingsofIJCAI '89 , pp. 1174-1179
    • Ishida, Y.1
  • 13
    • 0003239964 scopus 로고    scopus 로고
    • Questions, options and criteria: Elements of design space analysis
    • T. Moran and J. Carroll, editors, Lawerence Erlbaum Associates
    • A. MacLean, R. Young, V. Bellotti, and T. Moran. Questions, options and criteria: Elements of design space analysis. In T. Moran and J. Carroll, editors, Design Rationale: Concepts, Techniques, and Use, pages 53-1 06. Lawerence Erlbaum Associates, 1996.
    • (1996) Design Rationale: Concepts, Techniques, and Use , pp. 53-106
    • MacLean, A.1    Young, R.2    Bellotti, V.3    Moran, T.4
  • 15
    • 0030247429 scopus 로고    scopus 로고
    • Applications of abduction: Knowledge level modeling
    • T. Menzies. Applications of abduction: Knowledge level modeling. International Journal of Human Computer Studies, 45:305-355, 1996. Available from http://tim. menzies.com/pdf/96abkl.pdf.
    • (1996) International Journal of Human Computer Studies , vol.45 , pp. 305-355
    • Menzies, T.1
  • 16
    • 0041467946 scopus 로고    scopus 로고
    • On the practicality of abductive validation
    • T. Menzies. On the practicality of abductive validation. In ECAI '96, 1996. Available from http:/tim.menzies. com/pdf/96ok.pdf.
    • (1996) ECAI '96
    • Menzies, T.1
  • 18
    • 85116886488 scopus 로고    scopus 로고
    • RapturelSP2: Efficient testing of temporal properties without search space explosion, 1999
    • T. Menzies, M. Houle, and J. Powell. Rapturelsp2: Efficient testing of temporal properties without search space explosion, 1999. NASA IV&V Facility Technical Report.
    • NASA IV&V Facility Technical Report
    • Menzies, T.1    Houle, M.2    Powell, J.3
  • 19
    • 0010920417 scopus 로고    scopus 로고
    • From object-oriented to goal-oriented requirements analysis
    • January
    • J. Mylopoulos, L. Cheng, and E. Yu. From object-oriented to goal-oriented requirements analysis. Communications of the ACM, 42(1):31-37, January 1999.
    • (1999) Communications of the ACM , vol.42 , Issue.1 , pp. 31-37
    • Mylopoulos, J.1    Cheng, L.2    Yu, E.3
  • 21
    • 0018504302 scopus 로고
    • Software failure modes and effects analysis
    • D.Reifer. Software failure modes and effects analysis. IEEE Transactionson Reliability, pages 247-249, 1979.
    • (1979) IEEE Transactionson Reliability , pp. 247-249
    • Reifer, D.1
  • 23
  • 24
    • 0343885352 scopus 로고
    • Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat
    • 6
    • G. Smythe. Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat. Exp. Clin. Endocrinol. (LifeSci. Adv.), pages 141-144, 6 1987.
    • (1987) Exp. Clin. Endocrinol. (LifeSci. Adv.) , pp. 141-144
    • Smythe, G.1
  • 25
    • 0032296216 scopus 로고    scopus 로고
    • Inferring declarative requirements specifications from operational scenarios
    • Special on Scenario Management, November
    • A. van Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. IEEE Transactionson Software Engineering. Special Issue on Scenario Management, November 1998.
    • (1998) IEEE Transactionson Software Engineering
    • van Lamsweerde, A.1    Willemet, L.2


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