1 A New Foundation for Computing Science A Research & Experimental Engineering Programme Dines Bjørner

Source URL: www.imm.dtu.dk

Case Studies in Systematic Software Development

Source URL: homepages.cs.ncl.ac.uk

• Vienna Development Method
• Dines Bjørner
• Cliff Jones
• Formal specification
• Software development process
• Reification
• Abstraction
• Meta-IV
• Formal methods
• Software development
• Computing

T (+ u (+ B Í http://www.lsv.ens-cachan.fr/~delaune/ Stéphanie Delaune

Source URL: www.lsv.ens-cachan.fr

• Cryptography
• Communications protocol
• Cryptographic primitive
• Dines Bjørner
• Computing
• Data
• Information
• Cryptographic protocols

FM 2015 Call for Papers 20th International Symposium on Formal Methods Oslo, Norway, 22–26 June 2015 http://fm2015.ifi.uio.no Formal Methods 2015

Source URL: fm2015.ifi.uio.no

• International nongovernmental organizations
• Dines Bjørner
• Formal Methods Europe
• Software development process
• Academia
• Programming tool
• Systems engineering
• Science
• Software development
• Formal methods

40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

Source URL: www.imm.dtu.dk

• Software engineering
• Vienna Development Method
• Formal specification
• B-Method
• Specification language
• Software development methodology
• Dines Bjørner
• Software development process
• Static program analysis
• Formal methods
• Computing
• Software development

Curriculum Vitae for Peter Sestoft Updated 22 October 2014 Name, Address and Nationality: Peter Andreas Sestoft, [removed], Kirkevej 29, DK-2920 Charlottenlund, Denmark. Tel. + [removed]Born 25 June 1962 in Hell

Source URL: www.itu.dk

• Evaluation strategy
• Incremental computing
• Partial evaluation
• Moscow ML
• Abstract machine
• Standard ML
• C5
• Dines Bjørner
• Programming language
• Software engineering
• Computing
• Computer programming

Special Section Looking Back, Looking Forward Bulletin of the American Society for Information Science and Technology – October/November 2010 – Volume 37, Number 1 by Susanne Bjørner

Source URL: www.asis.org

• Service-oriented architecture
• Librarian
• Social networking service
• Dines Bjørner
• Technology
• Science
• Computing
• Business intelligence
• Information broker
• Research

The Danish working environment during economic growth (2005–2008) About the study Stability and change in patterns of employment Flexibility regarding time and place of work

Source URL: www.eurofound.europa.eu

• Occupational safety and health
• Denmark
• Danes
• Employment
• European Foundation for the Improvement of Living and Working Conditions
• Skill
• Europe
• Earth
• Dines Bjørner

PDF Document

Source URL: www.vdmportal.org

• Dines Bjørner
• Fellows of the British Computer Society
• Cliff Jones
• RAISE
• Dines
• Ada
• Technical University of Denmark
• Software development process
• PL/I
• Computing
• Software engineering
• Formal methods