Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani	Formal specification and verification of a dataflow processor array.	ICCAD	1999	DBLP DOI BibTeX RDF
9	Leendert W. N. van der Torre	Violation Contexts and Deontic Independence.	CONTEXT	1999	DBLP DOI BibTeX RDF
9	Albert Benveniste, Benoît Caillaud, Paul Le Guernic	From Synchrony to Asynchrony.	CONCUR	1999	DBLP DOI BibTeX RDF
9	Anne H. H. Ngu	Specification of Cooperative Constraints in Virtual Enterprise Workflow.	RIDE	1999	DBLP DOI BibTeX RDF	Workflows, Virtual Enterprise, Constraints Specification
9	Michel Bidoit, Rolf Hennicker	Modular Correctness Proofs of Behavioural Implementations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
9	Chris M. N. Tofts, Graham M. Birtwistle	A Denotational Semantics for a Process-Based Simulation Language.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	You Assume, We Guarantee: Methodology and Case Studies.	CAV	1998	DBLP DOI BibTeX RDF
9	Raphaël Couturier, Dominique Méry	An Experiment in Parallelizing an Application Using Formal Methods.	CAV	1998	DBLP DOI BibTeX RDF
9	Martin Röscheisen, Michelle Q. Wang Baldonado, Kevin Chen-Chuan Chang, Luis Gravano, Steven P. Ketchpel, Andreas Paepcke	The Stanford InfoBus and Its Service Layers: Augmenting the Internet with High-Level Information Management Protocols.	The MeDoc Approach	1998	DBLP DOI BibTeX RDF
9	Ásgeir Th. Eiríksson	The Formal Design of 1M-gate ASICs.	FMCAD	1998	DBLP DOI BibTeX RDF
9	Jean-Raymond Abrial, Louis Mussat	Introducing Dynamic Constraints in B.	B	1998	DBLP DOI BibTeX RDF
9	Marina Waldén	Layering Distributed Algorithms within the B-Method.	B	1998	DBLP DOI BibTeX RDF
9	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Applying Formal Methods to Semantic-Based Decomposition of Transactions.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	concurrency control, database management systems, transaction processing
9	Kevin Lano, Arturo Sanchez	Design of Reactive Control Systems for Event-Drivem Operations.	FME	1997	DBLP DOI BibTeX RDF
9	Jane Turk, Samuel J. Wiley	Teaching social and ethical issues in the literacy course.	SIGCSE	1997	DBLP DOI BibTeX RDF
9	Yonghao Chen, Betty H. C. Cheng	Formalizing and Automating Component Reuse.	ICTAI	1997	DBLP DOI BibTeX RDF	Generality Relation, Formal Specification, Component Reuse
9	Frank Dignum, Ruurd Kuiper 0001	Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.	HICSS (5)	1997	DBLP DOI BibTeX RDF
9	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems.	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
9	Peter A. Lindsay, David Hemer	An Industrial-Strength Method For The Construction Of Formally Verified Software.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	software verification refinement, formal methods, program development
9	Matthias Weber	Combining Statecharts and Z for the Design of Safety-Critical Control Systems.	FME	1996	DBLP DOI BibTeX RDF
9	Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson	A Hierarchical Method for Reasoning about Distributed Programming Languages.	TPHOLs	1995	DBLP DOI BibTeX RDF
9	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
9	Douglas P. Bogia, Simon M. Kaplan	Flexibility and control for dynamic workflows in the WORLDS environment.	COOCS	1995	DBLP DOI BibTeX RDF
9	Frank Dignum, Hans Weigand	Modelling Communication between Cooperative Systems	CAiSE	1995	DBLP DOI BibTeX RDF
9	Homayoun Dayani-Fard, Andrew J. Malton	Phased development of critical real-time systems in timed CSP.	CASCON	1995	DBLP BibTeX RDF
9	Tim Clement	Comparing Approaches to Data Reification.	FME	1994	DBLP DOI BibTeX RDF
9	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
9	Matthias Weber	Literate Mathematical Development of a Revision Management System.	FME	1994	DBLP DOI BibTeX RDF
9	Peter A. Lindsay	On transferring VDM verification techniques to Z.	FME	1994	DBLP DOI BibTeX RDF
9	Pierre Collette	Application of the Composition Principle to Unity-like Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
9	Tina Smith	Violation of Norms.	ICAIL	1993	DBLP DOI BibTeX RDF
9	Alberto Coen-Porisini, Richard A. Kemmerer	The Composability of ASTRAL Realtime Specifications.	ISSTA	1993	DBLP DOI BibTeX RDF
9	Wolfgang Reif	Verification of Large Software Systems.	FSTTCS	1992	DBLP DOI BibTeX RDF
9	Timothy J. Foley	Developing a computing & information policy.	SIGUCCS	1990	DBLP DOI BibTeX RDF
9	Ronald M. Lee	Bureaucracies as Deontic Systems.	ACM Trans. Inf. Syst.	1988	DBLP DOI BibTeX RDF
9	Jørgen Lindskov Knudsen, Ole Lehrmann Madsen	Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages.	ECOOP	1988	DBLP DOI BibTeX RDF
9	Steven Brower	Function Design Document: Toward better documentation for data processing contracts.	SIGDOC	1982	DBLP DOI BibTeX RDF