Search for dissertations about: "property developers"

Showing result 1 - 5 of 12 swedish dissertations containing the words property developers.

  2. 1. Automating Black-Box Property Based Testing

    Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. READ MORE

  4. 2. Public Land Development for Sustainability-Profiled Districts : A value co-creation perspective

    Author : Melissa Candel; Jenny Paulsson; Tina Karrbom Gustavsson; Ellen van Bueren; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Public land development; sustainable urban development; value cocreation; public value; municipal landownership; land allocation; sustainability requirements; housing; property developers; Fastigheter och byggande; Real Estate and Construction Management;

    Abstract : Swedish municipalities are developing sustainability-profiled districts incollaboration with private actors to achieve their public sustainability objectives.These districts are comparable to developments found in many other Europeancountries and the wider world. READ MORE

  5. 3. The Hole Story: Type-Directed Synthesis and Repair

    Author : Matthías Páll Gissurarson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

    Abstract : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. READ MORE

  6. 4. Content Ontology Design Patterns: Qualities, Methods, and Tools

    Author : Karl Hammar; Henrik Eriksson; Vladimir Tarasov; Eva Blomqvist; Harald Sack; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Ontology; Ontology Design Pattern; Quality Model; eXtreme Design; XDP; WebProtégé;

    Abstract : Ontologies are formal knowledge models that describe concepts and relationships and enable data integration, information search, and reasoning. Ontology Design Patterns (ODPs) are reusable solutions intended to simplify ontology development and support the use of semantic technologies by ontology engineers. READ MORE

  7. 5. Towards Augmented Exploratory Testing

    Author : Stefan Karlsson; Adnan Causevic; Sundmark Daniel; Emil Alégroth; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Software systems have an increasing presence in our society. With our infrastructure, such as food and water supply, controlled by complex software systems, it is essential to keep failures to a minimum. READ MORE