Integrating Theories and Techniques for Program Modelling, Design and Verification
作者： Bernard K. Aichernig , He Jifeng , Zhiming Liu , Mike Reed
DOI: 10.1007/978-3-540-69149-5_31
关键词:
摘要: This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position research to contribute this world-wide collaborative project.
springer.com
sci-hub.st 参考文章(39)
Bernhard K. Aichernig, Jifeng He, Testing for Design Faults ,(2005)
Zhiming Liu, He Jifeng, Xiaoshan Li, Yifeng Chen, A Relational Model for Formal Object-Oriented Requirement Analysis in UML Formal Methods and Software Engineering. pp. 641- 664 ,(2003) , 10.1007/978-3-540-39893-6_36
Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin, W-N Chin, A Relational Model for Object-Oriented Designs asian symposium on programming languages and systems. pp. 415- 436 ,(2004) , 10.1007/978-3-540-30477-7_28
P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson, Secure Synthesis of Code: A Process Improvement Experiment formal methods. pp. 1816- 1835 ,(1999) , 10.1007/3-540-48118-4_46
Carroll Morgan, Programming from specifications (2nd ed.) Prentice Hall International (UK) Ltd.. ,(1994)
Paulo Borba, Augusto Sampaio, Márcio Cornélio, A Refinement Algebra for Object-Oriented Programming european conference on object-oriented programming. pp. 457- 482 ,(2003) , 10.1007/978-3-540-45070-2_20
Ralph Johnson, Donald Bradley Roberts, Practical analysis for refactoring University of Illinois at Urbana-Champaign. ,(1999)
He Jifeng, Linking Theories of Concurrency Communicating Sequential Processes. The First 25 Years. pp. 61- 74 ,(2005) , 10.1007/11423348_4
Oliver Hart, Bengt Holmström, The theory of contracts Research Papers in Economics. pp. 71- 156 ,(1986) , 10.1017/CCOL0521340446.003
Zhiming Liu, He Jifeng, Xiaoshan Li, Contract Oriented Development of Component Software IFIP TCS. pp. 349- 366 ,(2004) , 10.1007/1-4020-8141-3_28