Dines

Results: 91



#Item
1112 Lecture 4: Describing Domain Entities. Part I: Parts, Actions, Events c Dines Bjørner 2011, Fredsvej 11, DK–2840 Holte, Denmark - April 25, 2012: 15:51

112 Lecture 4: Describing Domain Entities. Part I: Parts, Actions, Events c Dines Bjørner 2011, Fredsvej 11, DK–2840 Holte, Denmark - April 25, 2012: 15:51

Add to Reading List

Source URL: www2.imm.dtu.dk

- Date: 2012-04-30 10:39:38
    2Domain Types⋆ Endurants Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

    Domain Types⋆ Endurants Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

    Add to Reading List

    Source URL: www.imm.dtu.dk

    - Date: 2013-12-04 09:52:48
      3Bjorner DRAFT Mayinvisible Domain Analysis: Endurants An Analysis & Description Process Model Dines Bjørner

      Bjorner DRAFT Mayinvisible Domain Analysis: Endurants An Analysis & Description Process Model Dines Bjørner

      Add to Reading List

      Source URL: www.imm.dtu.dk

      - Date: 2014-03-18 06:38:19
        4Domain Types⋆ Endurants Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

        Domain Types⋆ Endurants Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj

        Add to Reading List

        Source URL: www.imm.dtu.dk

        - Date: 2013-12-04 09:52:38
          56 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

          6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

          Add to Reading List

          Source URL: www2.compute.dtu.dk

          - Date: 2016-06-07 01:25:17
            66 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

            6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

            Add to Reading List

            Source URL: www.imm.dtu.dk

            - Date: 2016-06-07 01:25:17
              7From Domains to Requirements On a Triptych of Software Development 1 Dines Bjørner

              From Domains to Requirements On a Triptych of Software Development 1 Dines Bjørner

              Add to Reading List

              Source URL: www.complang.tuwien.ac.at

              - Date: 2010-04-22 10:06:32
                81 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

                1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

                Add to Reading List

                Source URL: www.imm.dtu.dk

                - Date: 2014-04-30 21:31:39
                  90 WELCOME c Dines Bjørner 2014, Fredsvej 11, DK–2840 Holte, Denmark – April 8, 2014: 12:26

                  0 WELCOME c Dines Bjørner 2014, Fredsvej 11, DK–2840 Holte, Denmark – April 8, 2014: 12:26

                  Add to Reading List

                  Source URL: www.imm.dtu.dk

                  - Date: 2014-04-08 06:25:33
                    101 Towards a Theory of Domain Descriptions — Bergen 8 May Mini-course Notes — Dines Bjørner DTU Informatics, Techn.Univ.of Denmark, DK–2800 Kgs.Lyngby

                    1 Towards a Theory of Domain Descriptions — Bergen 8 May Mini-course Notes — Dines Bjørner DTU Informatics, Techn.Univ.of Denmark, DK–2800 Kgs.Lyngby

                    Add to Reading List

                    Source URL: www2.imm.dtu.dk

                    - Date: 2012-05-01 10:35:19