Suchergebnisse - Theory of computation Semantics and reasoning Program reasoning Program specifications

Fuzzing Class Specifications von 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 …”
Volltext

Formal consistency checking over specifications in natural languages von 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 …”
Volltext

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers von 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 …”
Volltext

Experience applying the SPIN model checker to an industrial telecommunications system von 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 …”
Volltext

Towards a methodology for lifelong validation of service compositions von 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 …”
Volltext

Precise Modeling of Design Patterns in UML von 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 …”
Volltext

Interface decomposition for service compositions von 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 …”
Volltext

A framework for embedded system specification under different models of computation in SystemC von 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 …”
Volltext

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

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

CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects von 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 …”
Volltext

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

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

Formal specification of system functions von 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 …”
Volltext

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

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

Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software von 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 …”
Volltext

Modeling and Evolving Crosscutting Concerns in ADORA von 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 …”
Volltext

Statestep: A Tool for Systematic, Incremental Specification von 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 …”
Volltext

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language von 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 …”
Volltext

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

Volltext

Expressive Power of Specification Languages von 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 …”
Volltext

Formal Specification of OWL-S with Object-Z: the Static Aspect von 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 …”
Volltext