Empirically analysing design reasoning patterns: Abductive-deductive reasoning patterns dominate design idea generation
نویسندگان
چکیده
منابع مشابه
Responsibilities and rewards: Reasoning about design patterns
Design patterns provide guidance to system designers on how to structure individual classes or groups of classes, as well as constraints on the interactions between these classes, to enable them to implement flexible and reliable systems. Patterns are usually described informally. While such informal descriptions are useful and even essential, if we want to be sure that designers precisely and ...
متن کاملReasoning Performance Indicators for Ontology Design Patterns
Ontologies are increasingly used in systems where performance is an important requirement. While there is a lot of work on reasoning performance-altering structures in ontologies, how these structures appear in Ontology Design Patterns (ODPs) is as of yet relatively unknown. This paper surveys existing literature on performance indicators in ontologies applicable to ODPs, and studies how those ...
متن کاملReasoning About Design Patterns: A Case Study
Design patterns are valuable both for designing and for documenting software systems. Patterns are usually described informally. While informal descriptions are very useful, in order to be sure that designers have a precise understanding of the requirements that must be met when applying a given pattern, and to be able to reliably predict the behaviors that systems built using specific patterns...
متن کاملAbductive, Inductive and Deductive Reasoning about Resources
We describe a method for reasoning about programs that uses a mixture of abductive, inductive and deductive inference. It allows us to synthesize a pre/post spec for a program procedure, without requiring any information about the procedure’s calling context. The method can be used to obtain partial specifications for portions of large code bases in the millions of lines of code. The method beg...
متن کاملAn Abductive Propositional Logic for Design Reasoning
Design can be seen as a reasoning process based on non-classic logic, in which non-monotonicity and abduction are two essential features. This paper introduces Abductive Propositional Logic (APL), which is a simple but powerful formal system to deal with these two features. To show its capabilities, APL is used to analyze the reasoning of a conceptual design of a scooter. The results reveal tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Design Studies
سال: 2019
ISSN: 0142-694X
DOI: 10.1016/j.destud.2018.10.001