Dines Bjørner

  1. 2014
  2. Published

    40 years of formal methods. / Bjørner, Dines; Havelund, Klaus.

    In: Lecture Notes in Computer Science, Vol. 8442, 2014, p. 42-61.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  3. Published

    Domain Endurants: An Analysis and Description Process Model. / Bjørner, Dines.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. ed. / Shusaku Iida; José Meseguer; Kazuhiro Ogata. Springer, 2014. p. 1-34 (Lecture Notes in Computer Science, Vol. 8373).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  4. 2012
  5. Published

    A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).

    2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  6. 2007
  7. Published
  8. 2006
  9. Published

    Software Engineering, vol. 1: Abstraction and Modelling. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  10. Published

    Software Engineering, vol 2: Specification of Systems and Languages. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  11. Published

    Software Engineering, vol. 3: Domains, Requirements and Software Design. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  12. 2005
  13. Published

    A Cloverleaf of Software Engineering. / Bjørner, Dines (Invited author).

    SEEM2005, 3rd IEEE Intl. Conference on Software Engineering and Formal Methods. IEEE, 2005. p. 75-85.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2005

  14. Published

    An Example Railway Domain. / Bjørner, Dines.

    In: British Computer Society FACTS FACT, No. 2, 2005, p. 29-39.

    Publication: ResearchJournal article – Annual report year: 2005

  15. Published

    Multimodal Transportation Nets. / Bjørner, Dines; Boca, Paul (Editor).

    In: British Computer Society FACS FACT, No. 4, 2005, p. 30.

    Publication: ResearchJournal article – Annual report year: 2005

Previous 1 2 3 4 5 6 7 8 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word