EWI

Results: 761



#Item
101

A. van Deursen Domain-Specific Languages versus Object-Oriented Frameworks: A Financial Engineering Case Study Abstract

Add to Reading List

Source URL: www.st.ewi.tudelft.nl

- Date: 2009-11-26 15:59:20
    102

    Industrial Applications of ASF+SDF Mark van den Brand,1 Arie van Deursen,2 Paul Klint,1 2 Steven Klusener,2 4 and Emma van der Meulen3 1 University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam

    Add to Reading List

    Source URL: www.st.ewi.tudelft.nl

    - Date: 2009-11-26 15:59:20
      103

      Journal on Satisfiability, Boolean Modeling and Computation Controlling a Solver Execution with the runsolver Tool system description Olivier Roussel

      Add to Reading List

      Source URL: jsat.ewi.tudelft.nl

      - Date: 2011-11-21 09:15:26
        104

        Spectrum-based Fault Diagnosis for Service-Oriented Software Systems Cuiting Chen, Hans-Gerhard Gross and Andy Zaidman Delft University of Technology, the Netherlands Email: {cuiting.chen;h.g.gross;a.e.zaidman}@tudelft.n

        Add to Reading List

        Source URL: www.st.ewi.tudelft.nl

        - Date: 2016-12-08 03:51:59
          105

          Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

          Add to Reading List

          Source URL: jsat.ewi.tudelft.nl

          - Date: 2007-05-22 16:56:57
            106

            Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇ

            Add to Reading List

            Source URL: jsat.ewi.tudelft.nl

            - Date: 2012-01-12 08:43:36
              107

              Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

              Add to Reading List

              Source URL: fmt.ewi.utwente.nl

              - Date: 2016-06-13 09:28:43
                108

                2009 Fourth IEEE International Conference on Global Software Engineering How Technological Support Can Enable Advantages of Agile Software Development in a GSE Setting Kevin Dullemond Delft University of

                Add to Reading List

                Source URL: aspic.ewi.tudelft.nl

                - Date: 2010-01-20 06:53:49
                  109

                  Journal on Satisfiability, Boolean Modeling and ComputationHard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Harri Haanp¨ a¨

                  Add to Reading List

                  Source URL: jsat.ewi.tudelft.nl

                  - Date: 2006-03-23 10:14:05
                    110

                    A Framework-based Runtime Monitoring Approach for Service-Oriented Software Systems Cuiting Chen Andy Zaidman

                    Add to Reading List

                    Source URL: www.st.ewi.tudelft.nl

                    - Date: 2016-12-08 03:51:59
                      UPDATE