Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"design-by-contract"”.
-
Aplicando Design by Contract em web services RESTful
… tecnologia do mundo, como o Google e Facebook. Design by Contract é uma técnica de programação concebida em 1992 por Bertrand Meyer afim de aumentar a segurança e robustez de softwares através da utilização de contratos. Como o estilo REST não possui especificação de contratos ou validação, na …
-
A Design-by-Contract based Approach for Architectural Modelling and Analysis
… issues that have not been addressed altogether by the existing ADLs. Firstly, in their attempt to support formal analysis, current ADLs employ formal notations (i.e., mostly process algebras) that are rarely used among practitioners. Secondly, many ADLs focus on components in specifying software …
-
Diseño y uso de objetos didácticos basado en contratos
… thus limiting learning object reusability. Design by contract, a semi-formal method successfully applied in software engineering, can be adapted to the design of learning object metadata. In this dissertation, design by contract is used to write metadata records in an unambiguous, …
-
A Study of Preconditions and Postconditions as Design Constraints for LLM Code Generation
… software implementations from systematically designed class-level specifications. Results demonstrate that incorporating explicit design constraints significantly boosts initial generation accuracy (measured via the pass@k metric), particularly in Python but also in Java and C++. Models with …
-
nContract - Creating Configurable Run-Time Contract Verification for .NET Components
… its clarity and precision. A formally specified contract for that component would be better, and would also allow run-time contract verification via assertions. The client of the component could enable these assertions during development and debugging, and then disable them for the final …
-
Implementing a reusable design pattern Library in C#
Design patterns in software systems are described as a universal reusable solution to a commonly recurring problem in software design. Design patterns were, however, not intended to be reusable in terms of code. A symptom of their non-reusability is the problems experienced with the way the …
-
VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software
… of hypotheses about requirements and behavior, by using contracts as automated component verifiers.</p> <p>We introduce Semantic Mutation Testing as an approach to evaluate concordance of automated verifiers and the functional specifications they represent with respect to existing …
-
A specification method for the scalable self-governance of complex autonomic systems
… systems with selfmanagement capabilities by delegating vital functions to the software itself and proposed the Autonomic Computing model. Hence inducing the so-called self-* properties including the system's ability to be self-configuring, self-optimising, self-healing and self-protecting. …