Results 11 to 20 of about 491 (95)
BRICS Report Series, 2000 Casl is an expressive language for the algebraic specification<br />of software requirements, design, and architecture. It has been developed by an open collaborative effort called CoFI (Common Framework Initiative for algebraic specification and development).
Mosses, Peter D.
core +6 more sources
Evaluating the performance of model transformation styles in Maude [PDF]
, 2011 Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of ...
A. Boronat +12 more
core +2 more sources
Refinement by interpretation in {\pi}-institutions [PDF]
, 2011 The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions.
Barbosa, Luis S. +3 more
core +3 more sources
Behavioral equivalence of hidden k-logics: an abstract algebraic approach [PDF]
, 2016 This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems.
Babenyshev, Sergey, Martins, Manuel A.
core +1 more source
Behavioural reasoning for conditional equations [PDF]
, 2007 Object-oriented (OO) programming techniques can be applied to equational specification logics by distinguishing visible data from hidden data (that is, by distinguishing the output of methods from the objects to which the methods apply), and then ...
Bidoit +8 more
core +2 more sources
Applications and extensions of context-sensitive rewriting [PDF]
, 2021 [EN] Context-sensitive rewriting is a restriction of term rewriting which is obtained by imposing replacement restrictions on the arguments of function symbols. It has proven useful to analyze computational properties of programs written in sophisticated
Lucas Alba, Salvador
core +1 more source
Symbolic Analysis and Verification of Hybrid Post-Quantum TLS 1.2
IEEE AccessTransport Layer Security (TLS) is a fundamental protocol for securing communications over untrusted networks. With the rising threat of quantum computing, Amazon Web Services (AWS) proposed Hybrid Post-Quantum (PQ) TLS, an extended version of TLS 1.2 ...
Duong Dinh Tran +3 more
doaj +1 more source
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
IEEE AccessFacing the quantum attack threat, a quantum-resistant version of the SSH Transport Layer protocol has been proposed and been standardized by an IETF working group.
Duong Dinh Tran +4 more
doaj +1 more source
CoordMaude Simplifying Formal Coordination Specifications of Cooperation Environments [PDF]
, 2003 Developing concurrent applications in cooperative environments is an arduous task. This is mainly due to the fact that it is very difficult to specify the synchronized interaction between the entities composing the system. Using coordination models makes
Marisol Sánchez-Alonso +17 more
core +1 more source
Prototyping Formal System Models with Active Objects
, 2018 We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product lines
Hähnle, Reiner, Kamburjan, Eduard
core +1 more source