메뉴 건너뛰기




Volumn , Issue , 2006, Pages 655-674

Enhanced design checking involving constraints, collaboration and assumptions

Author keywords

[No Author keywords available]

Indexed keywords

NASA;

EID: 77952422957     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (48)
  • 2
    • 0036465842 scopus 로고    scopus 로고
    • Operators and laws for combining preference relations
    • DOI 10.1093/logcom/12.1.13
    • Andreka, H, Ryan, M and Schobbens, PY: 2002, Operators and laws for combining preference relations, Journal of Logic and Computation 12(1):13-53. (Pubitemid 34239760)
    • (2002) Journal of Logic and Computation , vol.12 , Issue.1 , pp. 13-53
    • Andreka, H.1    Ryan, M.2    Schobbens, P.-Y.3
  • 3
    • 0028714698 scopus 로고
    • A collaborative spiral software process model based on theory W
    • IEEE Computer Society Press, CA
    • Boehm, B and Bose, P: 1994, A collaborative spiral software process model based on theory W, in Proc. of the 3rd International Conf. on the Software Process, IEEE Computer Society Press, CA, pp. 59-68.
    • (1994) Proc. of the 3rd International Conf. on the Software Process , pp. 59-68
    • Boehm, B.1    Bose, P.2
  • 4
    • 14044257945 scopus 로고    scopus 로고
    • DREd and design folders, a way of capturing, storing, and passing on knowledge generated during design projects
    • Salt Lake City, USA
    • Bracewell, R, Ahmed, S and Wallace, K: 2004, DREd and design folders, a way of capturing, storing, and passing on knowledge generated during design projects, in Proc. of the ASME 2004 Design Automation Conf. Salt Lake City, USA, pp. 1 -22.
    • (2004) Proc. of the ASME 2004 Design Automation Conf. , pp. 1-22
    • Bracewell, R.1    Ahmed, S.2    Wallace, K.3
  • 5
  • 6
    • 0022279090 scopus 로고
    • Expert systems for a class of mechanical design activity
    • J.S. Gero (ed.), North Holland
    • Brown, DC and Chandrasekaran, B: 1985, Expert systems for a class of mechanical design activity, in J.S. Gero (ed.), Knowledge Engineering in Computer-Aided Design,North Holland, pp. 259-282.
    • (1985) Knowledge Engineering in Computer-Aided Design , pp. 259-282
    • Brown, D.C.1    Chandrasekaran, B.2
  • 7
    • 0003102976 scopus 로고
    • Intelligent computer aided design
    • A Kent and JG Williams (eds), Marcel Dekker
    • Brown, DC: 1993, Intelligent Computer Aided Design, in A Kent and JG Williams (eds), ncyclopedia ofComputer Science and Technology, Marcel Dekker, pp. 28.
    • (1993) Ncyclopedia OfComputer Science and Technology , pp. 28
    • Brown, D.C.1
  • 8
    • 1642343398 scopus 로고    scopus 로고
    • Inferencing over design rationale
    • JS Gero (ed), Kluwer Academic Publishers, Netherlands
    • Burge, J and Brown, DC: 2000, Inferencing over design rationale, in JS Gero (ed), Artificial Intelligence in Design '00, Kluwer Academic Publishers, Netherlands, pp. 611-629.
    • (2000) Artificial Intelligence in Design '00 , pp. 611-629
    • Burge, J.1    Brown, D.C.2
  • 9
    • 32044473027 scopus 로고    scopus 로고
    • An integrated approach for software design checking using rationale
    • JS Gero (ed), Kluwer Academic Publishers Netherlands
    • Burge, JE and Brown, DC: 2004, An integrated approach for software design checking using rationale, in JS Gero (ed), Design Computing and Cognition '04,Kluwer Academic Publishers Netherlands 557-576
    • (2004) Design Computing and Cognition '04 , pp. 557-576
    • Burge, J.E.1    Brown, D.C.2
  • 11
    • 38549098742 scopus 로고    scopus 로고
    • Rationale-based support for software maintenance
    • A Dutoit, R McCall, I Mistrik, B Paech (eds), Springer (to appear)
    • Burge, JE and Brown, DC: 2006, Rationale-based support for software maintenance, in A Dutoit, R McCall, I Mistrik, B Paech (eds), Rationale Management in Software Engineering, Springer (to appear).
    • (2006) Rationale Management in Software Engineering
    • Burge, J.E.1    Brown, D.C.2
  • 13
    • 84945715340 scopus 로고
    • Functional representation as design rationale
    • Chandrasekaran B, Goel AK and Iwasaki Y: 1993, Functional representation as design rationale, Computer pp. 48-56.
    • (1993) Computer , pp. 48-56
    • Chandrasekaran, B.1    Goel, A.K.2    Iwasaki, Y.3
  • 14
    • 0026407773 scopus 로고
    • A process-oriented approach to design rationale
    • Conklin J and Yakemovic KB: 1991, A process-oriented approach to design rationale, Human-Computer Interaction 6(3-4): 357-393.
    • (1991) Human-Computer Interaction , vol.6 , Issue.3-4 , pp. 357-393
    • Conklin, J.1    Yakemovic, K.B.2
  • 15
    • 0039072355 scopus 로고
    • A process-oriented approach to design rationale
    • T Moran and J Carroll (eds), Lawrence Erlbaum Associates, Mahwah, NJ
    • Conklin, J and Burgess-Yakemovic, K: 1995, A process-oriented approach to design rationale, in T Moran and J Carroll (eds), Design Rationale Concepts, Techniques, and Use, Lawrence Erlbaum Associates, Mahwah, NJ, pp. 293-428.
    • (1995) Design Rationale Concepts, Techniques, and Use , pp. 293-428
    • Conklin, J.1    Burgess-Yakemovic, K.2
  • 16
    • 80052128450 scopus 로고    scopus 로고
    • Capturing organizational memory
    • Conklin, J: 1996, Capturing organizational memory, GDSS Working Paper, http://www.touchstone.com/tr/wp/CapOrgMem.html
    • (1996) GDSS Working Paper
    • Conklin, J.1
  • 19
    • 0022680851 scopus 로고
    • An assumption-based truth maintenance system
    • de Kleer, J: 1986, An assumption-based truth maintenance system, Artificial Intelligence 28(2): 127-62.
    • (1986) Artificial Intelligence , vol.28 , Issue.2 , pp. 127-162
    • De Kleer, J.1
  • 20
    • 0018544688 scopus 로고
    • A truth maintenance system
    • Doyle, J: 1979, A truth maintenance system, Artificial Intelligence 12(3): 231-272.
    • (1979) Artificial Intelligence , vol.12 , Issue.3 , pp. 231-272
    • Doyle, J.1
  • 24
    • 0025544968 scopus 로고
    • Design prototypes: A knowledge representation schema for design
    • Gero, JS: 1990, Design prototypes: A knowledge representation schema for design, AI Magazine 11(4): 26-36.
    • (1990) AI Magazine , vol.11 , Issue.4 , pp. 26-36
    • Gero, J.S.1
  • 25
    • 80052122044 scopus 로고
    • Technical Report KSL 90-33, Knowledge Systems Laboratory, Stanford University
    • Gruber, T:1990, Model-Based Explanation ofDesign Rationale, Technical Report KSL 90-33, Knowledge Systems Laboratory, Stanford University.
    • (1990) Model-Based Explanation OfDesign Rationale
    • Gruber, T.1
  • 29
    • 0035354810 scopus 로고    scopus 로고
    • Computer supported argumentation and collaborative decision making: The HERMES system
    • DOI 10.1016/S0306-4379(01)00020-5, PII S0306437901000205
    • Karacapilidis, N and Papadias, D: 2001, Computer supported argumentation and collaborative decision making: The HERMES system, Information Systems 26(4): 259-277. (Pubitemid 33046259)
    • (2001) Information Systems , vol.26 , Issue.4 , pp. 259-277
    • Karacapilidis, N.1    Papadias, D.2
  • 33
    • 0343911631 scopus 로고    scopus 로고
    • An exception handling approach to enhancing consistency, completeness, and correctness in collaborative requirements capture
    • Klein, M: 1997, An exception handling approach to enhancing consistency, completeness and correctness in collaborative requirements capture, Concurrent Engineering Research and Applications 5(1): 37-46. (Pubitemid 127679901)
    • (1997) Concurrent Engineering Research and Applications , vol.5 , Issue.1 , pp. 37-46
    • Klein, M.1
  • 36
    • 0003239964 scopus 로고
    • Questions, options and criteria: Elements of design space analysis
    • T Moran and J Carroll (eds), Lawrence Erlbaum Associates, NJ
    • MacLean, A, Young, RM, Bellotti, V and Moran, TP: 1995, Questions, options and criteria: elements of design space analysis, in T Moran and J Carroll (eds), Design Rationale Concepts, Techniques, and Use, Lawrence Erlbaum Associates, NJ, pp. 201-251.
    • (1995) Design Rationale Concepts, Techniques, and Use , pp. 201-251
    • MacLean, A.1    Young, R.M.2    Bellotti, V.3    Moran, T.P.4
  • 37
    • 0013226542 scopus 로고
    • The topological fusion of Bayes nets
    • Matzkevich, I and Abramson, B: 1992, The topological fusion of Bayes nets, in Proc. UAI'92, pp. 191-198.
    • (1992) Proc. UAI'92 , pp. 191-198
    • Matzkevich, I.1    Abramson, B.2
  • 45
    • 0032637459 scopus 로고    scopus 로고
    • A study on engineering history base
    • Taura, T and Kubota, A: 1999, A study on engineering history base, in Research in Engineering Design 11(1): 45-54.
    • (1999) Research in Engineering Design , vol.11 , Issue.1 , pp. 45-54
    • Taura, T.1    Kubota, A.2
  • 47
    • 0039051857 scopus 로고
    • Technical Report MIT/LCS/TR- 340, Laboratory forComputerScience, MIT
    • Wellman, M: 1985, Reasoning about Preference Models, Technical Report MIT/LCS/TR- 340, Laboratory forComputerScience, MIT.
    • (1985) Reasoning about Preference Models
    • Wellman, M.1


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