AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Dines Bjorner

Dines Bjorner

Technical University of Denmark - Kongens Lyngby / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1464243
Danmarks Tekniske Universitet
person_outline Dines Bjorner's MOST POPULAR ARTICLES
1-) The Vienna development method: The meta-language Springer Berlin Heidelberg, 1978
2-) Software Engineering 3: Domains, requirements, and software design Springer Berlin Heidelberg, 2006
3-) Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 Elsevier Science Inc., 1988
4-) Logics of specification languages Springer Science & Business Media, 2007
5-) The Vienna Development Method: The MetaD Bjørner, CB JonesLanguage 61, 181-197, 19781671978