Výsledky vyhledávání - Theory of computation Semantics and reasoning Program reasoning Program specifications

Fuzzing Class Specifications Autor 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…”
Získat plný text

Formal consistency checking over specifications in natural languages Autor 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…”
Získat plný text

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers Autor 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…”
Získat plný text

Experience applying the SPIN model checker to an industrial telecommunications system Autor 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…”
Získat plný text

Towards a methodology for lifelong validation of service compositions Autor 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…”
Získat plný text

Precise Modeling of Design Patterns in UML Autor 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…”
Získat plný text

Interface decomposition for service compositions Autor 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…”
Získat plný text

A framework for embedded system specification under different models of computation in SystemC Autor 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…”
Získat plný text

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

“…This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically…”
Získat plný text

CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects Autor 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…”
Získat plný text

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

“… To address these issues,we present a tool that helps programmers write anddebug algebraic specifications…”
Získat plný text

Formal specification of system functions Autor 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…”
Získat plný text

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

“…We present an aspect-oriented requirements specification system for software product lines…”
Získat plný text

Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software Autor 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…”
Získat plný text

Modeling and Evolving Crosscutting Concerns in ADORA Autor 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…”
Získat plný text

Statestep: A Tool for Systematic, Incremental Specification Autor 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…”
Získat plný text

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language Autor 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…”
Získat plný text

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

Získat plný text

Expressive Power of Specification Languages Autor 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…”
Získat plný text

Formal Specification of OWL-S with Object-Z: the Static Aspect Autor 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…”
Získat plný text