TRUST-BY-CONTRACT: MODELLING, ANALYSING AND PREDICTING BEHAVIOUR OF SOFTWARE ARCHITECTURES
Explore this paper's citation graph
Summary
The TrustME ADL is designed to meet the requirements of enterprise software architecture specification with rigorous design-by-contract ideas, through combining approaches to software architecture specification with rigorous design-by-contract ideas.
- Type
- article
- Published
- 2001-01-01
- Cited by
- 19
- References
- 62
- OpenAlex
- https://openalex.org/W11745342
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:17441110
Keywords
Software, Computer science, Software engineering, Engineering, Programming language
References
- CONCERNS ON ARCHITECTURE-CENTERED SOFTWARE DEVELOPMENT: A SURVEY
- Fundamentals of a Theory of Asynchronous Information Flow
- Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
- The Temporal Logic of Reactive and Concurrent Systems
- Formal models and semantics
- Temporal Logic Based Specifications of Component Interaction Protocols
- A Primer in Petri Net Design
- Constructing interoperable components in distributed systems
- Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
- Protocol specifications and component adaptors
- Experience with Formal Specifications Using an Extended State Transition Model
- A behavioral notion of subtyping
- Construction of robust class hierarchies
- Interfaces, protocols, and the semi-automatic construction of software adaptors
- Applying 'design by contract'
- Component-based software architectures: a framework based on inheritance of behavior
- Providing Trusted Components to the Industry
- Konstruktion robuster und flexibler Klassenbibliotheken
- Statecharts: A Visual Formalism for Complex Systems
- Software reliability and dependability: a roadmap
Cited by
- SAVCBS 2003: Specification and Verification of Component-Based Systems
- Reliability prediction for component-based software architectures
- UML Specialization for Fault Tolerant Component Based Architectures
- Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures
- Towards Logical Architecture and Formal Analysis of Dependencies between Services
- Trustworthy components - compositionality and prediction
- Search Strategies for Automatic Web Service Composition
- Contract based Web service composition
- Architectural support for automatic service composition
- Test order for class-based integration testing of Java applications
- Towards Design-by-Contract based software architecture design
- Reconciling a Component and Process View
- Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud
- Work-Life Conflict of Globally Distributed Software Development Personnel: An Empirical Investigation Using Border Theory
- Incremental Construction for Scalable Component-Based Systems
- Design-by-contract for reusable components and realizable architectures
- Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures
- City Research Online
- Reasoning about Software Architectures with Contractually Specified Components
- Realizable, Connector-Driven Software Architectures for Practising Engineers
Related papers
- ИСПОЛЬЗОВAНИЕ ПОТЕНЦИAЛA СОЦИAЛЬНЫХ ПAРТНЕРОВ В ПОДГОТОВКЕ БУДУЩИХ ПЕДAГОГОВ
- DETERMINING QUALITY REQUIREMENTS AT THE UNIVERSITIES TO IMPROVE THE QUALITY OF EDUCATION
- Using DataGrid Control to Realize DataBase of Querying in VB6.0
- ESKVS: efficient and secure approach for keyframes-based video summarization framework
- Study and Two Types of Typical Usage of DataGrid Web Server Control
- STKVS: secure technique for keyframes-based video summarization model
- PACWON: A parallelizing compiler for workstations on a network
- SLA Aware Optimized Task Scheduling Model for Faster Execution of Workloads Among Federated Clouds