Dines Bjørner

  1. 2018
  2. Published

    To every manifest domain a CSP expression – a rôle for mereology in computer science. / Bjørner, Dines.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 94, 2018, p. 91-108.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  3. 2017
  4. Published

    Manifest domains:analysis and description. / Bjørner, Dines.

    In: Formal Aspects of Computing, Vol. 29, No. 2, 01.03.2017, p. 175-225.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  5. 2014
  6. Published

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

    FM 2014: Formal Methods: Proceedings of 19th International Symposium. Vol. 8442 Springer, 2014. p. 42-61 (Lecture Notes in Computer Science, Vol. 8442).

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

  7. 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

  8. 2012
  9. 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

  10. 2007
  11. Published
  12. 2006
  13. Published

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

    Springer, 2006.

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

  14. Published

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

    Springer, 2006.

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

  15. Published

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

    Springer, 2006.

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

  16. 2005
  17. 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

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