Results 21 to 30 of about 12,698 (302)
Formal foundations for responsible application integration
Information Systems, 2021 Enterprise Application Integration (EAI) constitutes the cornerstone in enterprise IT landscapes that are characterized by heterogeneity and distribution. Starting from established Enterprise Integration Patterns (EIPs) such as Content-based Router and Aggregator, EIP compositions are built to describe, implement, and execute integration scenarios. The
Daniel Ritter 0001 +3 more
openaire +2 more sources
Integrating semi-formal and formal requirements
, 1997 In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J. +2 more
openaire +1 more source
Integrating formal description techniques [PDF]
, 1999 Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the same system, only together forming a complete specification.
Bernhard Schätz, Franz Huber
openaire +1 more source
Advances in Condensed Matter Physics, 2018 Inclined threading dislocations (TDs) piercing the oriented free surface of a crystal are currently observed after growth of oriented thin films on substrates.
Salem Neily, Sami Dhouibi, Roland Bonnet
doaj +1 more source
A boundary integral formalism for stochastic ray tracing in billiards [PDF]
, 2014 Determining the flow of rays or non-interacting particles driven by a force or velocity field is fundamental to modelling many physical processes. These include particle flows arising in fluid mechanics and ray flows arising in the geometrical optics ...
David J. Chappell +5 more
core +1 more source
Consistent Integration of Formal Methods [PDF]
, 2000 The usability of formal concepts for system design depends essentially on their integration in the design process. We discuss several possible levels of integration: technical integration of tools considering APIs and tool interfaces, conceptual integration of metamodels of description formalisms combined with hard and soft constraints, semantical ...
Peter Braun 0003 +3 more
openaire +1 more source
N-photon amplitudes in a plane-wave background
Physics Letters B, 2021 We use the worldline formalism to derive master formulas for the one-loop N-photon amplitudes in a plane-wave background, for both scalar and spinor quantum electrodynamics.
James P. Edwards, Christian Schubert
doaj +1 more source
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science, 2007 AbstractUML is a widespread language used in both industry and academia, despite the fact that its semantics is still informal and allows ambiguities. On the other hand, OhCircus is a formal specification language which unifies Z, CSP, the refinement calculus of Morgan and object-oriented theories.
Rafael Magalhães Borges +1 more
openaire +1 more source
Investigating the Integration of two Formal Methods [PDF]
Formal Aspects of Computing, 1998 Abstract. VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools differ significantly. The SPECTRUM project has investigated the feasibility of integrating support for the two methodologies.
Juan Bicarregui +3 more
openaire +2 more sources
Polymer Testing, 2021 The present work introduces a novel methodology to analyse non-uniform residual stresses in composite materials. For robust determination of stresses in complex structures made of different layers, it is first necessary to prove that residual stress ...
A. Magnier +5 more
doaj +1 more source