A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-57880-3_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An Open Logical Framework

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

A Framework for Definition of Logical Scenarios for Safety Assurance of Automated Driving

Traffic Injury Prevention
EnvironmentalSafety ResearchPublic HealthOccupational Health
2019English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Framework Based on Implementation Relations for Implementing LOTOS Specifications

Computer Networks and ISDN Systems
1992English

“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models

English

Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP

Engineering Journal: Science and Innovation
2013English

A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems

International Journal of Information and Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2011English

Interoperable Open Specifications Framework for the Implementation of Standardized Urban Platforms

Sensors
InstrumentationInformation SystemsElectronic EngineeringBiochemistryAnalytical ChemistryMolecular Physics,ElectricalAtomicMedicineOptics
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy