Search Results - Theory of computation Semantics and reasoning Program reasoning Program specifications

Fuzzing Class Specifications by Molina, Facundo, D'Amorim, Marcelo, Aguirre, Nazareno

“…Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write…”
Get full text

Formal consistency checking over specifications in natural languages by Rongjie Yan, Chih-Hong Cheng, Yesheng Chai

“… The challenge for the verification and validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools…”
Get full text

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers by Lathouwers, Sophie, Huisman, Marieke

“…Deductive verification can be used to ensure properties about all possible behaviours of a program, even when the program is parameterised and has an unbounded state space…”
Get full text

Experience applying the SPIN model checker to an industrial telecommunications system by Long, B., Dingel, J., Graham, T.C.N.

“…Model checking has for years been advertised as a way of ensuring the correctness of complex software systems. However, there exist surprisingly few critical…”
Get full text

Towards a methodology for lifelong validation of service compositions by Bianculli, Domenico, Ghezzi, Carlo

“…We argue that the dynamic nature of compositions in service-oriented architectures requires re-thinking the whole lifetime of an application, from…”
Get full text

Precise Modeling of Design Patterns in UML by Mak, Jeffrey K. H., Choy, Clifford S. T., Lun, Daniel P. K.

“… Targeting to a particular type ofautomation (e.g. verification of pattern instances),previous specification approaches over-specify patternstructures to a certain extend…”
Get full text

Interface decomposition for service compositions by Bianculli, Domenico, Giannakopoulou, Dimitra, Păsăreanu, Corina S.

“… However, an interface providing more information, such as a behavioral specification, could be more useful to a service integrator for assessing that a certain external service can contribute…”
Get full text

A framework for embedded system specification under different models of computation in SystemC by Herrera, F., Villar, E.

“… The methodology enables abstract specification supporting heterogeneity, which in this context entails the ability to describe and connect parts of the system specification under different models of computation (MoCs…”
Get full text

The Evaluation of Large, Complex UML Analysis and Design Models by Berenbach, Brian

“…This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically…”
Get full text

CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects by Erfurth, Ivonne, Rossak, Wilhelm

“…In this paper, we describe our integrated approach to improve requirements elicitation and system specification by supporting a strong and direct involvement of all stakeholders, including non…”
Get full text

A Tool for Writing and Debugging Algebraic Specifications by Henkel, Johannes, Diwan, Amer

“… To address these issues,we present a tool that helps programmers write anddebug algebraic specifications…”
Get full text

Formal specification of system functions by Spanfelner, Bernd, Leuxner, Christian, Sitou, Wassiou

“…Today's software systems tend more and more to comprise a multitude of different, often interfering functionalities. Especially in the case of embedded systems…”
Get full text

Aspectual Support for Specifying Requirements in Software Product Lines by Siy, Harvey, Aryal, Prasanna, Winter, Victor, Zand, Mansour

“…We present an aspect-oriented requirements specification system for software product lines…”
Get full text

Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software by Zschaler, Steffen

“…In my research I try to de.ne a framework which can beused to provide semantics for non-functional specificationsof component-based systems…”
Get full text

Modeling and Evolving Crosscutting Concerns in ADORA by Meier, Silvio, Reinhard, Tobias, Stoiber, Reinhard, Glinz, Martin

“…For an effective handling of crosscutting concerns during the software process, adequate support is required not only in design and coding, but also in…”
Get full text

Statestep: A Tool for Systematic, Incremental Specification by Breen, Michael

“… The technique helpsto describe system behaviour in a systematic manner, intendedprincipally to ensure that no unusual scenarios, orcorner cases, are overlooked at the specification stage…”
Get full text

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language by Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., van der Putten, P. H. A., Voeten, J. P. M.

“… SHE combines the Unified Modelling Language with the Parallel Object-Oriented Specification Language to specify models…”
Get full text

Requirements Engineering Tools Go Mobile by Seyff, Norbert, Grunbacher, Paul, Maiden, Neil, Tosar, Amit

Get full text

Expressive Power of Specification Languages by Hayes, Ian J.

“…By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power…”
Get full text

Formal Specification of OWL-S with Object-Z: the Static Aspect by Wang, Hai H., Saleh, Ahmed, Payne, Terry, Gibbins, Nick

“…To support standardization and tool support of OWL-S, a formal semantics of the language is highly desirable…”
Get full text