Domain Models of “The Market”
暂无分享,去创建一个
[1] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[2] Dines Bjørner,et al. What is an Infrastructure , 2002 .
[3] P. Beynon-Davies. E-Business , 2004 .
[4] Nick Bosanquet,et al. Health Care Systems , 1989 .
[5] Sydney Abbey,et al. What is A “Method”? , 1991 .
[6] Zhou Chaochen,et al. Duration Calculus: A Formal Approach to Real-Time Systems , 2004 .
[7] Dines Bjørner. What is a method?: an essay on some aspects of domain engineering , 2003 .
[8] A. Mitchell,et al. Radical Innovation , 2001 .
[9] Sally Popkorn. First Steps in Modal Logic , 1995 .
[10] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[11] Anne Elisabeth Haxthausen,et al. The Raise Specification Language , 1992 .
[12] Dines Bjørner,et al. A Triptych Software Development Paradigm: Domain, Requirements and Software , 1999, Correct System Design.
[13] Dines Bjørner. Towards Design Calculi for Requirements Engineering and Software Design , 2003, FME 2003.
[14] Dines Bjørner,et al. Scheduling and rescheduling of trains , 1999 .
[15] M. Kracht. Tools and Techniques in Modal Logic , 1999 .
[16] A. Chagrov,et al. Modal Logic (Oxford Logic Guides, vol. 35) , 1997 .
[17] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .