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 …”
Volltext

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

“… Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these …”
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

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

“… Service-based applications can be realized by composing existing services into new, added-value composite services. The external services with which a service …”
Volltext

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

“… This paper presents a heterogeneous specification methodology built on top of the standard SystemC kernel. The methodology enables abstract specification …”
Volltext

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

“… Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows …”
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 …”
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 …”
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

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. We encapsulate non-functional concerns as a set of advices for …”
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

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

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

“… Despite their benefits, programmers rarely use formalspecifications, because they are difficult to write and theyrequire an up front investment in time. To …”
Volltext

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

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.

“… The complexity of designing hardware/software systems motivates research on frameworks that structure and automate the design process. Such design …”
Volltext

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

“… Statestep is an interactive tool for editing and checkingspecifications based on the finite state machine (FSM)model. The tabular notation supported is a novel …”
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. Some of the key …”
Volltext

A Lightweight Fault Tolerance Framework for Web Services von Zhao, Wenbing

“… In this paper, we present the design and implementation of a lightweight fault tolerance framework for Web services. With our framework, a Web service can be …”
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 …”
Volltext