Search results for "pre-conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Yves Ledru	Identifying Pre-Conditions with the Z/EVES Theorem Prover.	ASE	1998	DBLP DOI BibTeX RDF
24	Richard Riehle	Designing software components to tolerances.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances
24	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
22	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-conditions for Array Bound Check Elimination.	PADO	2001	DBLP DOI BibTeX RDF
20	Joseph A. Turner, Joseph L. Zachary	Javiva: a tool for visualizing and validating student-written Java programs.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
19	Tatsuya Toyama, Atsushi Ohnishi	Rule-based Verification of Scenarios with Pre-conditions and Post-conditions.	RE	2005	DBLP DOI BibTeX RDF
18	Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar	Automatic Verification of Integer Array Programs.	CAV	2009	DBLP DOI BibTeX RDF
17	Jianxun Liu, Shen-sheng Zhang, Jian Cao 0001, Jinmin Hu	An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems.	EDCIS	2002	DBLP DOI BibTeX RDF
15	Hua Yang, Douglas H. Fisher, Hubertus Franke	Improving Planning Efficient by Conceptual Clustering.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
15	Salem Benferhat, Fabien Autrel, Frédéric Cuppens	Enhanced Correlation in an Intrusion Detection Process.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
15	Bruno Defude, Hervé Martin	From a Passive to an Active Database Supporting Exceptions.	DEXA	1994	DBLP DOI BibTeX RDF	Pre(post)-conditions, Inheritance, Integrity constraints, Exceptions, Object-Oriented DBMS
13	Douglas Walton	How to make and defend a proposal in a deliberation dialogue.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	critical questions, formal dialogue systems, profiles of dialogue, artificial intelligence, practical reasoning, electronic democracy, argumentation schemes
13	Deborah Whitfield, Mary Lou Soffa	An Approach to Ordering Optimizing Transformations.	PPoPP	1990	DBLP DOI BibTeX RDF
13	Nicolás Bono Rossello, Antoine Clarinval, Anthony Simonofski	BeCoDigital - Digital Co-Creation of Public Services with Citizens: Understanding Pre-Conditions, Technologies and Outcomes.	RCIS (Research Projects)	2023	DBLP BibTeX RDF
13	Rodney Rodriguez, Xiaoyin Wang	Understanding Execution Environment of File-Manipulation Scripts by Extracting Pre-Conditions.	ICPC	2021	DBLP DOI BibTeX RDF
13	Veruska Zamborlini, Roelof van der Heijden, Annette ten Teije	Filtering Clinical Guideline Interactions with Pre-Conditions: A Case Study on Diabetes Guideline.	MedRACER+WOMoCoE@KR	2018	DBLP BibTeX RDF
13	Jean-Marie Mottu, Sagar Sen, Juan José Cadavid, Benoit Baudry	Discovering model transformation pre-conditions using automatically generated test models.	ISSRE	2015	DBLP DOI BibTeX RDF
13	Ivana Simonova 0001, Petra Poulova, Miloslava Cerná	Pre-conditions for efficient m-learming.	EDUCON	2015	DBLP DOI BibTeX RDF
13	Marco Manca 0001, Fabio Paternò, Carmen Santoro, Lucio Davide Spano	Considering task pre-conditions in model-based user interface design and generation.	EICS	2014	DBLP DOI BibTeX RDF
13	Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto	Functional dependencies of C functions via weakest pre-conditions.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
13	Ravichandhran Madhavan, Raghavan Komondoor	Null dereference verification via over-approximated weakest pre-conditions analysis.	OOPSLA	2011	DBLP DOI BibTeX RDF
13	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	Synthesis of OCL Pre-conditions for Graph Transformation Rules.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
13	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-Conditions for Array Bound Check Elimination.	APLAS	2000	DBLP BibTeX RDF
13	A. C. S. Amaro, Ana Paula F. D. Barbosa-Póvoa	Scheduling of industrial distribution manifolds with pre-conditions.	Eur. J. Oper. Res.	1999	DBLP DOI BibTeX RDF
13	Michal Konecný	Typing with Conditions and Guarantees for Functional In-place Update.	TYPES	2002	DBLP DOI BibTeX RDF
11	Rekha Kandwal, Kamal Kant Bharadwaj	Censor Updation during Dynamic Clustering of Hierarchical Censored Production Rules (HCPRs).	FSKD (2)	2007	DBLP DOI BibTeX RDF
11	Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
11	Matthieu Carlier, Catherine Dubois	Functional Testing in the Focal Environment.	TAP	2008	DBLP DOI BibTeX RDF
11	Xuan Li, Lunjin Lu	Inverting abstract unification for set-sharing.	PPDP	2005	DBLP DOI BibTeX RDF	maximal models and Boolean formulas, set-sharing, logic programs, backward analysis
11	Lunjin Lu, Andy King	Backward Pair Sharing Analysis.	FLOPS	2004	DBLP DOI BibTeX RDF	Pair-Sharing, Abstract interpretation, Backward analysis
11	John P. Gallagher	A Program Transformation for Backwards Analysis of Logic Programs.	LOPSTR	2003	DBLP DOI BibTeX RDF
11	Petros Faloutsos, Michiel van de Panne, Demetri Terzopoulos	Composable controllers for physics-based character animation.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	physics-based animation control, computer animation, physics-based modeling, character animation
9	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
9	Juan de Lara, Gabriele Taentzer	Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.	ACSD	2005	DBLP DOI BibTeX RDF	Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation
9	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	FME	1993	DBLP DOI BibTeX RDF
7	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
7	Stéphane S. Somé, Xu Cheng	An approach for supporting system-level test scenarios generation from textual use cases.	SAC	2008	DBLP DOI BibTeX RDF	use cases, state machines, system testing
7	Ping Li, Toan Huynh, Marek Z. Reformat, James Miller 0001	A practical approach to testing GUI systems.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Two-tierd testing, GUI component, Complete interaction sequence, Testing, GUI, GUI testing, Event sequence
7	Shuaiqiang Wang, Ying Li, Guodong Huang	PostB: The Post-condition Extension onto the B-Method.	SERA	2007	DBLP DOI BibTeX RDF
7	Thomas Triebsees, Uwe M. Borghoff	Preservation-centric and constraint-based migration of digital documents.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	model, migration, digital archive, preservation
7	Gabriele Taentzer, Arend Rensink	Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.	FASE	2005	DBLP DOI BibTeX RDF
7	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
7	Franck Multon, Bruno Arnaldi	Human Motion Coordination: Example of a Juggler.	CA	1999	DBLP DOI BibTeX RDF
5	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
5	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	Automatic Model Generation Strategies for Model Transformation Testing.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
5	Luiz Olavo Bonino da Silva Santos, Giancarlo Guizzardi, Luís Ferreira Pires, Marten van Sinderen	From User Goals to Service Discovery and Composition.	ER Workshops	2009	DBLP DOI BibTeX RDF
5	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
5	Herman Balsters, Terry A. Halpin	Formal Semantics of Dynamic Rules in ORM.	OTM Workshops	2008	DBLP DOI BibTeX RDF
5	Pedro Ángel Castillo Valdivieso, G. Fernández, Antonio Mora García, Juan Julián Merelo Guervós, José Luis Bernier, Alberto Prieto	Evolving machine microprograms.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary computation techniques, optimization, computer architecture, microarchitecture, microprogramming, automatic design
5	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
5	Pedro Ángel Castillo Valdivieso, G. Fernández, Juan Julián Merelo Guervós, José Luis Bernier, Antonio Miguel Mora, Juan Luis Jiménez Laredo, Pablo García-Sánchez	Evolving Machine Microprograms: Application to the CODE2 Microarchitecture.	DCAI	2008	DBLP DOI BibTeX RDF	evolutionary computation techniques, optimization, computer architecture, microarchitecture, microprogramming, automatic design
5	Michael Striewe	Using a Triple Graph Grammar for State Machine Implementations.	ICGT	2008	DBLP DOI BibTeX RDF
5	Tim Menzies, Alex Dekhtyar, Justin S. Di Stefano, Jeremy Greenwald	Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'".	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF
5	Marc Lohmann, Leonardo Mariani, Reiko Heckel	A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
5	Anja Naumann, Jörn Hurtienne, Johann Habakuk Israel, Carsten Mohs, Martin Christof Kindsmüller, Herbert A. Meyer, Steffi Hußlein	Intuitive Use of User Interfaces: Defining a Vague Concept.	HCI (13)	2007	DBLP DOI BibTeX RDF	non-conscious, usability, user interfaces, knowledge, aesthetics, effectiveness, human-machine interaction, intuition
5	António Miguel Rosado da Cruz, João Pascoal Faria	Automatic Generation of User Interfaces from Domain and Use Case Models.	QUATIC	2007	DBLP DOI BibTeX RDF
5	Francisco J. Duarte, Ricardo Jorge Machado 0001, João M. Fernandes	Automated Information Systems Generation for Process-Oriented Organizations.	QUATIC	2007	DBLP DOI BibTeX RDF
5	Peter Ebinger, Tobias Bucher	Modelling and Analysis of Attacks on the MANET Routing in AODV.	ADHOC-NOW	2006	DBLP DOI BibTeX RDF
5	Cao Trong Hieu, Tran Thanh Dai, Choong Seon Hong, Jae-Jo Lee	Adaptive Algorithms to Enhance Routing and Security for Wireless PAN Mesh Networks.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Wireless PAN Mesh Networks, Attack on Routing Protocol, Security, Clustering, Routing, Intrusion Detection, Optimal Path
5	Herman Balsters, Andy Carver, Terry A. Halpin, Tony Morgan	Modeling Dynamic Rules in ORM.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
5	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
5	Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mikael Le Bras	Qualitative physics in virtual environments.	IUI	2004	DBLP DOI BibTeX RDF	modelling and simulation, intelligent virtual environments, qualitative physics
5	Michael Winikoff, Wei Liu 0006, James Harland	Enhancing Commitment Machines.	DALT	2004	DBLP DOI BibTeX RDF
5	Marc Cavazza, Fred Charles, Steven J. Mead	Intelligent Virtual Actors That Plan ... to Fail.	Smart Graphics	2003	DBLP DOI BibTeX RDF	Heuristic Search Planning, Virtual Actors, Virtual Storytelling
5	Paul Ogilvie, James P. Callan	Combining document representations for known-item search.	SIGIR	2003	DBLP DOI BibTeX RDF	known-item finding, meta-search algorithms, language models, data fusion
5	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
5	Leszek Holenderski	Compositional Verification of Synchronous Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
5	Paul C. van Oorschot	An Alternate Explanation of two BAN-logic "failures".	EUROCRYPT	1993	DBLP DOI BibTeX RDF