Add to ORKGFull title: Capturing generalized recurring system attributes with specification patterns. Property specification patterns equipped with a natural language front-end and automated mapping support for a temporal logic of choice offer a solution to overcome the pragmatic barriers to specify system properties in a purely mathematical fashion. Recorded on 13 February 2015
In this paper we introduce a new Grammatical Evolution (GE) system designed to support the speci cat...
The UML has become the de-facto standard in software engineering. Due to the visual nature and acces...
Associated research group: Minnesota Extensible Language ToolsAttribute grammar specification langua...
Formal methods offer an effective means to assert the correctness of software systems through mathem...
Formal methods offer an effective means to assert the correctness of software systems through mathem...
We present a pattern system for property specification. It extends the existing patterns identified ...
Software property classifications and patterns, i.e., high-level abstractions that describe program ...
Model checking provides a powerful means to assert and verify desired system properties. But, for th...
Formal specifications play an essential role in the life-cycle of modern systems, both at the time o...
In this paper, we show how the existence of taxonomies on objects and/or attributes can be used in f...
Software development is increasingly concerned with maintaining and extending existing software syst...
Program specifications are important in many phases of the soft-ware development process, but they a...
Temporal properties are important in a wide variety of domains for different purposes. For example, ...
Property classifications and patterns, i.e., high-level abstractions that describe common behavior, ...
Constraints play an important role in conceptual modeling. In general, the specification of constrai...
In this paper we introduce a new Grammatical Evolution (GE) system designed to support the speci cat...
The UML has become the de-facto standard in software engineering. Due to the visual nature and acces...
Associated research group: Minnesota Extensible Language ToolsAttribute grammar specification langua...
Formal methods offer an effective means to assert the correctness of software systems through mathem...
Formal methods offer an effective means to assert the correctness of software systems through mathem...
We present a pattern system for property specification. It extends the existing patterns identified ...
Software property classifications and patterns, i.e., high-level abstractions that describe program ...
Model checking provides a powerful means to assert and verify desired system properties. But, for th...
Formal specifications play an essential role in the life-cycle of modern systems, both at the time o...
In this paper, we show how the existence of taxonomies on objects and/or attributes can be used in f...
Software development is increasingly concerned with maintaining and extending existing software syst...
Program specifications are important in many phases of the soft-ware development process, but they a...
Temporal properties are important in a wide variety of domains for different purposes. For example, ...
Property classifications and patterns, i.e., high-level abstractions that describe common behavior, ...
Constraints play an important role in conceptual modeling. In general, the specification of constrai...
In this paper we introduce a new Grammatical Evolution (GE) system designed to support the speci cat...
The UML has become the de-facto standard in software engineering. Due to the visual nature and acces...
Associated research group: Minnesota Extensible Language ToolsAttribute grammar specification langua...