Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Robin W. Whitty	Multi-dimensional Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Meg Russell	The Mathematics of Measurement in Software Engineering.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Michael D. Rice	Complexity Measures on Trees.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	James M. Bieman	Deriving Measures of Software Reuse in Object Oriented Systems.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Norbert Fuchs, Sieglinde Stainer	Language Independent Definition of Axiomatic Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Martin J. Shepperd	Algebraic Models and Metric Validation.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Austin Melton	Specifying Internal, External, and Predictive Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Arto Salomaa	Formal Languages and Power Series.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP DOI BibTeX RDF
21	Richard Platek	Formal methods in mathematics.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	Jonathan Jacky	Formal specification for a clinical cyclotron control system.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	Robert L. Nord, Peter Lee 0001, William L. Scherlis	Formal manipulation of modular software systems.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	William G. Wood	Application of formal methods to system and software specification.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	David Garlan	The role of formal reusable frameworks.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	Uday S. Reddy	Formal methods in transformational derivation of programs.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
21	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Conditional axioms and α/β-calculus in process algebra.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Jean-Pierre Jouannaud, B. Waldmann	Reductive conditional term rewriting systems.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Peter D. Mosses, David A. Watt	The use of action semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog	Failures without chaos: a new process semantics for fair abstraction.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Susumu Hayashi	PX: a system extracting programs from proofs.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	M. Chadili, Irène Guessarian	Notions of fairness for synchronous fork join nets.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Roberto M. Amadio, Giuseppe Longo	Type-free compiling of parametric types.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Sarangapani Jagannathan	A model of data backup and recovery in a computer system for functional programming.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Grazyna Mirkowska, Andrzej Salwicki	Axiomatic definability of programming language semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Matthias Felleisen, Daniel P. Friedman	Control operators, the SECD-machine, and the λ-calculus.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Scott A. Smolka, Robert E. Strom	A CCS semantics for NIL.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Saumya K. Debray, Prateek Mishra	Denotational and operational semantics for PROLOG.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher	PROLOG - II as an instance of the logic programming language scheme.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Mariangiola Dezani-Ciancaglini, Ines Margaria	Polymorphic types, fixed-point combinators and continuous lambda-models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Frank S. de Boer	A proof rule for process-creation.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Observational equivalences for concurrency models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
21	Manfred Broy, Martin Wirsing	On the Algebraic Specification of Finitary Infinite.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Ruurd Kuiper 0001, Willem P. de Roever	Fairness Assumptions for CSP in a Temporal Logic Framework.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Manfred Broy	Fixed PointTheory for Communication and Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Peter Padawitz	Equational Data Type Specifications and Recursive Program Schemes.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Ilaria Castellani, Paola Franceschi, Ugo Montanari	Labeled Event Structures: A Model for Observable Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Gordon D. Plotkin	An Operational Semantics for CSP.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Jaco de Bakker	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado	Properties of Conceptual and External Database Schemas.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Hartmann J. Genrich, P. S. Thiagarajan	Well-Formed Flow Charts for Concurrent Programming.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Marie-Claude Gaudel	Correctness Proof of Programming Language Translations.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Erich J. Neuhold	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	P. Lucas	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Harald Ganzinger	Denotational Semantics for Languages with Modules.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Andrea Maggiolo-Schettini, Józef Winkowski	Towards a Programming Language for Manipulating Relational Data Bases.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Eric G. Wagner	Functorial Hierarchies of Functional Languages.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Eike Best	Relational Semantics of Concurrent Programs (With Some Applications).	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig	Recursive Decomposition Ordering.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Peter D. Mosses	Abstract Semantic Algebras.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Andrzej Blikle	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Matthew C. B. Hennessy, Wei Li 0022	Translating a Subset of Ada into CCS.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Henning Christiansen 0001, Neil D. Jones	Control Flow Treatment in a Simple Semantics-Directed Compiler Generator.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
21	Jan Storbank Pedersen	A Formal Semantics Definition of Sequential Ada.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
21	Krzysztof R. Apt	Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Reiji Nakajima, Michio Honda, Hayao Nakahara	Describing and Verifying Programs with Abstract Data Types.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Richard J. Lipton, Lawrence Snyder	On the Power of Applicative Languages.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Fred Kröger	A Uniform Logical Basis for the Description, Specification and Verification of Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	John V. Guttag, James J. Horning, Ralph L. London	A Proof Rule for Euclid Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Jaco de Bakker	Recursive Programs as Predicate Transformers.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Patrick Cousot, Radhia Cousot	Static Determination of Dynamic Properties of Recursive Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Axel van Lamsweerde	From Verifying Termination to Guaranteeing it: A Case Study.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Arvind, Kim P. Gostelow	Some Relationships Between Asynchronous Interpreters of a Dataflow Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Peter E. Lauer, Eike Best, Michael W. Shields	On the Problem of Achieving Adequacy of Concurrent Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Werner Damm, Elfriede Fehr, Klaus Indermark	Higher Type Recursion and Self-Application as Control Structures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Daniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa	Models of Hierarchical Machine Support.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Andrzej Blikle	Towards Mathematical Structured Programming.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Susan S. Owicki	Verifying Concurrent Programs With Shared Data Classes.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Jean-Pierre Finance	Static and Computational Semantics of a Definitional Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Luigia Aiello, Giuseppe Attardi, Gianfranco Prini	Towards a More Declarative Programming Style.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Andrei P. Ershov	On the Essence of Compilation.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Jack B. Dennis	Opening Remarks.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Robert M. Keller	Denotational Models for Parallel Programs with Indeterminate Operators.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Lawrence Flon, Norihisa Suzuki	Nondeterminism and the Correctness of Parallel Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Maarten H. van Emden	Computation and Deductive Information Retrieval.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Robert Milne	Transforming Predicate Transformers.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Carl E. Hewitt, Henry G. Baker	Actors and Continuous Functionals.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Joseph A. Goguen	Abstract Errors for Abstract Data Types.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
21	Hans-Peter Kriegel, Hermann A. Maurer	Formal translations and the containment problem for Szilard languages.	Automata Theory and Formal Languages	1975	DBLP DOI BibTeX RDF
21	Aldo de Luca	On the entropy of a formal language.	Automata Theory and Formal Languages	1975	DBLP DOI BibTeX RDF
21	Ronald V. Book	Hauptvortrag: Formal language theory and theoretical computer science.	Automata Theory and Formal Languages	1975	DBLP DOI BibTeX RDF
21	Frederick James Crosson	Formal logic and formal ontology in Husserl's phenomenology.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
21	Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai	Integrated Formal Approach for Qualified Critical Embedded Code Generator.	FMICS	2009	DBLP DOI BibTeX RDF	formal verification, automatic code generator, qualification, Coq proof assistant
21	Telung Pan, Kwoting Fang	Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS.	ICFCA	2009	DBLP DOI BibTeX RDF	radiology report, medical imaging system, Formal concept analysis, PACS
21	Susanne Motameny, Beatrix Versmold, Rita Schmutzler	Formal Concept Analysis for the Identification of Combinatorial Biomarkers in Breast Cancer.	ICFCA	2008	DBLP DOI BibTeX RDF	classification, formal concept analysis, Gene expression, breast cancer
21	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
21	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
21	Michael Backes 0001, Catherine Meadows 0001, John C. Mitchell	Relating cryptography and formal methods: a panel.	FMSE	2003	DBLP DOI BibTeX RDF	formal methods, cryptography, security protocols
21	Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli	Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.	FMOODS	2003	DBLP DOI BibTeX RDF	Security, Sensor Networks, Wireless Communication, Formal Analysis
21	Michael Poppleton, Richard Banach	Structuring Retrenchments in B by Decomposition.	FME	2003	DBLP DOI BibTeX RDF	formal methods, refinement, decomposition, structuring, retrenchment
21	Michel Charpentier	Composing Invariants.	FME	2003	DBLP DOI BibTeX RDF	formal specification, temporal logic, invariants, compositional verification
21	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
21	Vangalur S. Alagar, Ralf Lämmel	Three-Tiered Specification of Micro-architectures.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures
21	Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt	Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge.	ICFEM	2002	DBLP DOI BibTeX RDF	Wrapper/Glue Code, Formal Specification, Two-Level Grammar, Domain Specific Knowledge
21	Michael Huber, Steve King 0001	Towards an Integrated Model Checker for Railway Signalling Data.	FME	2002	DBLP DOI BibTeX RDF	Data verification, hidden formal methods, model checking
21	Christopher Menzel, Michael Grüninger	A formal foundation for process modeling.	FOIS	2001	DBLP DOI BibTeX RDF	process specification language, process modeling, PSL, formal ontology
21	Dirk Beyer 0001	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
21	Omar Cherkaoui	Specification and Analysis of a Security Management System.	FME	1994	DBLP DOI BibTeX RDF	Key-words Security management, Model-checking, Verification, Formal methods, Synthesis, Process algebra, Modal logic, CCS
21	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity