FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569372524> ?p ?o ?g. }

• W1569372524 abstract "Two industrial trials of formal specification.- Industrial applications of ASF+SDF.- The embedded software of an electricity meter: An experience in using formal methods in an industrial project.- Applying research results in the industrial environment: The case of the TRIO specification language.- Using heterogeneous formal methods in distributed software engineering education.- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language.- Toward a classification approach to design.- Semantic foundations for embedding HOL in Nuprl.- Free variable tableaux for a many sorted logic with preorders.- Automating induction over mutually recursive functions.- Pushouts of order-sorted algebraic specifications.- A formal framework for modules with state.- Object-oriented implementation of abstract data type specifications.- On the completeness of the equations for the Kleene star in bisimulation.- An equational axiomatization of observation congruence for prefix iteration.- Finite axiom systems for testing preorder and De Simone process languages.- Constructive semantics of Esterel: From theory to practice (abstract).- Using ghost variables to prove refinement.- Tracing the origins of verification conditions.- Preprocessing for invariant validation.- Formal verification of Signal programs: Application to a power transformer station controller.- The discrete time toolbus.- A study on the specification and verification of performance properties.- Symbolic bisimulation for timed processes.- Approximative analysis by process algebra with graded spatial actions.- Boolean formalism and explanations.- Proving existential termination of normal logic programs.- Programming in Lygon: An overview.- Some characteristics of strong innermost normalization.- On the emergence of properties in component-based systems.- Algebraic view specification.- Towards heterogeneous formal specifications.- A categorical characterization of consistency results.- Algebraic specification of reactive systems.- A model for mobile point-to-point data-flow networks without channel sharing.- Coalgebraic specifications and models of deterministic hybrid systems.- A bounded retransmission protocol for large data packets.- SPECWARE: An advanced environment for the formal development of complex software systems.- Asspegique+ an integrated specification environment providing inter-operability of tools.- Towards integrating algebraic specification and functional programming: the Opal system.- InterACT: An interactive theorem prover for algebraic specifications.- A new proof-manager and graphic interface for the Larch Prover.- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems.- The ToolBus coordination architecture.- ASD: The action semantic description tools.- Using occurrrence and evolving algebras for the specification of language-based programming tools.- ECHIDNA: A system for manipulating explicit choice higher dimensional automata.- Verification using PEP.- The Fc2tools set.- Programming in Lygon: A system demonstration.- CtCoq: A system presentation.- The Typelab specification and verification environment.- Incremental formalization.- Proplane: A specification development environment.- A logic-based technology to mechanize software components reuse.- TkGofer: A functional GUI library.- ALPHA - A class library for a metamodel based on algebraic graph theory.- Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation.- Combining reductions and computations in ReDuX.- Conditional directed narrowing." @default.
• W1569372524 created "2016-06-24" @default.
• W1569372524 creator A5018498749 @default.
• W1569372524 creator A5042265989 @default.
• W1569372524 date "1996-07-01" @default.
• W1569372524 modified "2023-09-27" @default.
• W1569372524 title "Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings" @default.
• W1569372524 hasPublicationYear "1996" @default.
• W1569372524 type Work @default.
• W1569372524 sameAs 1569372524 @default.
• W1569372524 citedByCount "0" @default.
• W1569372524 crossrefType "book" @default.
• W1569372524 hasAuthorship W1569372524A5018498749 @default.
• W1569372524 hasAuthorship W1569372524A5042265989 @default.
• W1569372524 hasConcept C111498074 @default.
• W1569372524 hasConcept C116253237 @default.
• W1569372524 hasConcept C135315306 @default.
• W1569372524 hasConcept C154564781 @default.
• W1569372524 hasConcept C154690210 @default.
• W1569372524 hasConcept C161771561 @default.
• W1569372524 hasConcept C17435882 @default.
• W1569372524 hasConcept C199360897 @default.
• W1569372524 hasConcept C201677973 @default.
• W1569372524 hasConcept C2777691520 @default.
• W1569372524 hasConcept C41008148 @default.
• W1569372524 hasConcept C75606506 @default.
• W1569372524 hasConcept C80444323 @default.
• W1569372524 hasConceptScore W1569372524C111498074 @default.
• W1569372524 hasConceptScore W1569372524C116253237 @default.
• W1569372524 hasConceptScore W1569372524C135315306 @default.
• W1569372524 hasConceptScore W1569372524C154564781 @default.
• W1569372524 hasConceptScore W1569372524C154690210 @default.
• W1569372524 hasConceptScore W1569372524C161771561 @default.
• W1569372524 hasConceptScore W1569372524C17435882 @default.
• W1569372524 hasConceptScore W1569372524C199360897 @default.
• W1569372524 hasConceptScore W1569372524C201677973 @default.
• W1569372524 hasConceptScore W1569372524C2777691520 @default.
• W1569372524 hasConceptScore W1569372524C41008148 @default.
• W1569372524 hasConceptScore W1569372524C75606506 @default.
• W1569372524 hasConceptScore W1569372524C80444323 @default.
• W1569372524 hasLocation W15693725241 @default.
• W1569372524 hasOpenAccess W1569372524 @default.
• W1569372524 hasPrimaryLocation W15693725241 @default.
• W1569372524 hasRelatedWork W1489150731 @default.
• W1569372524 hasRelatedWork W1491500510 @default.
• W1569372524 hasRelatedWork W1497681073 @default.
• W1569372524 hasRelatedWork W1501335545 @default.
• W1569372524 hasRelatedWork W1522557177 @default.
• W1569372524 hasRelatedWork W1523022934 @default.
• W1569372524 hasRelatedWork W1525300667 @default.
• W1569372524 hasRelatedWork W1532185360 @default.
• W1569372524 hasRelatedWork W1534999476 @default.
• W1569372524 hasRelatedWork W1552405170 @default.
• W1569372524 hasRelatedWork W1560644941 @default.
• W1569372524 hasRelatedWork W1564966319 @default.
• W1569372524 hasRelatedWork W1571081862 @default.
• W1569372524 hasRelatedWork W1603300900 @default.
• W1569372524 hasRelatedWork W1759303344 @default.
• W1569372524 hasRelatedWork W1963184875 @default.
• W1569372524 hasRelatedWork W2179713184 @default.
• W1569372524 hasRelatedWork W2465207510 @default.
• W1569372524 hasRelatedWork W330438856 @default.
• W1569372524 hasRelatedWork W654138520 @default.
• W1569372524 isParatext "false" @default.
• W1569372524 isRetracted "false" @default.
• W1569372524 magId "1569372524" @default.
• W1569372524 workType "book" @default.