A formalization of Ashok Goel's SBF concept of function

Technical artifacts: An integrated perspective

Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship...

Applying design thinking elsewhere: Organizational context matters

In this contribution design thinking is taken as a transfer of design methods from product development to other domains. It is argued that the success of this transfer depends on the organisational context offered to design thinking in these other domains. We describe the application of design methods in product development and in two new...

My functional description is better! Guest editorial

The coexistence of engineering meanings of function: Four responses and their methodological implications

In this position paper, the ambiguity of functional descriptions in engineering is considered from a methodological point of view. Four responses to this ambiguity are discussed, ranging from defining a single meaning of function and rejecting the different meanings that are currently used in engineering to accepting these meanings as coexisting...

Analyse bruikbaarheid gecombineerde hoogtedata Hollandse kust

In Nederland ligt ongeveer 27% van het landoppervlak onder zeeniveau. Ons economische hart - (het westen van) de randstad - is erg kwetsbaar voor overstromingen vanuit zee. Sinds 1990 wordt de kust beschermt door zandsuppleties, ook wel ‘zachte bescherming’ genoemd. In 2001 is besloten om het totale zandvolume van het actieve kustsysteem - het...

On managing innovation by design: Towards SMART methods

In this paper innovation by design is characterised schematically and methodological with the aim of analysing how projects of innovation by design can be managed. First, I approach innovation by design from an engineering perspective, and show that the incorporation of innovation into design projects has complicated their management by making...

On the formal impossibility of analysing subfunctions as parts of functions in design methodology

In this paper, a proof is given that in design methods, the relation between technical functions and their subfunctions in functional descriptions of technical products cannot be analysed as a formal relation of parthood. This result holds for design methods in which transformations of flows of energy, material and signals are accepted as...

Integrated Language Definition Testing: Enabling Test-Driven Language Development

The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as domain-specific languages, often remain untested. General-purpose testing techniques and test...

Lateral transfer of streamwise momentum caused by a roughness transition across a shallow channel

Research on lateral exchange of streamwise momentum between parallel flows in open channels has mainly been focused on compound channels composed of a main channel and a floodplain, on mixing layer development downstream of river confluences, and on partially vegetated channels. This study aims to establish the mechanisms responsible for...

The design stance and its artefacts

In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance...

Designing for trust: A case of value-sensitive design

In this paper, we consider the meaning, roles, and uses of trust in the economic and public domain, focusing on the task of designing systems for trust in information technology. We analyze this task by means of a survey of what trust means in the economic and public domain, using the model proposed by Lewicki and Bunker, and using the emerging...

Stratego/XT 0.17. A Language and Toolset for Program Transformation

Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...

A formal ontological perspective on the behaviors and functions of technical artifacts

In this paper we present a formal characterization of the engineering concepts of behavior and function of technical artifacts. We capture the meanings that engineers attach to these concepts by formalizing, within the formal ontology DOLCE, the five meanings of artifact behavior and the two meanings of function that Chandrasekaran and Josephson...

The fine-grained metaphysics of artifactual and biological functional kinds

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained...

Maas te Eysden: Voorspellingsmodel voor lage afvoeren

Kanalenknooppunt Nederweert: Waterbalans- en sluitfoutberekeningen

Bijdrage tot de kennis van de evenwichten welke bij Böeseken's configuratiebepalingsmethode voor glykolen en oxyzuren een rol spelen