Search results for "post-conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih	Generating Attack Scenarios with Causal Relationship.	GrC	2007	DBLP DOI BibTeX RDF
6	Saqib Ali, Ben Soh, Torab Torabi	A novel approach toward integration of rules into business processes using an agent-oriented framework.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
6	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
6	Thi-Huong-Giang Vu, Christine Collet, Genoveva Vargas-Solar	Defining and Modelling Service-Based Coordinated Systems.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
6	Yang Wang, Masahito Hirakawa	Video editing based on object movement and camera motion.	AVI	2006	DBLP DOI BibTeX RDF	multimedia computing, video editing, camera motion, moving object tracking
6	Anna Derezinska	Advanced mutation operators applicable in C# programs.	SET	2006	DBLP DOI BibTeX RDF
6	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Architecture-based testing using goals and plans.	ROSATEA	2006	DBLP DOI BibTeX RDF	architecture-based testing, goal-driven software development, specification-based testing
6	Peter Habermehl, Radu Iosif, Tomás Vojnar	Automata-Based Verification of Programs with Tree Updates.	TACAS	2006	DBLP DOI BibTeX RDF
6	Gregor Engels, Baris Güldali, Marc Lohmann	Towards Model-Driven Unit Testing.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	visual contracts, model checking, test case generation, Design by Contract
6	Marc Lohmann, Gregor Engels, Stefan Sauer 0001	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
6	Thi-Huong-Giang Vu	Towards a Secure Service Coordination.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
6	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
6	Harry M. Sneed	Selective Regression Testing of a Host to DotNet Migration.	ICSM	2006	DBLP DOI BibTeX RDF	DotNet, SQLServer, XML, Regression Testing, Assertions, File Comparison
6	Vinay Kulkarni, Sreedhar Reddy	A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
6	H. Iván Piza, Fabiel Zúñiga, Félix F. Ramos 0001	Using a Declarative Language to Describe the Interactions in Virtual Scenes.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
6	Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget	Matchmaking of Mathematical Web Services.	PPAM	2005	DBLP DOI BibTeX RDF
6	Dae-Kyoo Kim	Evaluating Conformance of UML Models to Design Patterns.	ICECCS	2005	DBLP DOI BibTeX RDF	pattern specification, pattern tools, UML, Design pattern, object-oriented model
6	Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget	Mathematical matchmaker for numeric and symbolic services.	AAMAS	2005	DBLP DOI BibTeX RDF
6	Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget	Agent-based matchmaking of mathematical web services.	AAMAS	2005	DBLP DOI BibTeX RDF
6	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
6	Mark Denford, John Leaney, Tim O'Neill	Non-Functional Refinement of Computer Based Systems Architecture.	ECBS	2004	DBLP DOI BibTeX RDF
6	Vladimir Levin	Static driver verifier, a formal verification tool for Windows device drivers.	MEMOCODE	2004	DBLP DOI BibTeX RDF
6	Jean-Christophe Filliâtre, Claude Marché	Multi-prover Verification of C Programs.	ICFEM	2004	DBLP DOI BibTeX RDF	pointer programs, formal verification and proof, Hoare logic, C programming language
6	Monika Solanki, Antonio Cau, Hussein Zedan	Augmenting semantic web service descriptions with compositional specification.	WWW	2004	DBLP DOI BibTeX RDF	owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl
6	Marius Bozga, Radu Iosif, Yassine Lakhnech	On Logics of Aliasing.	SAS	2004	DBLP DOI BibTeX RDF
6	Thomas Fahringer, Sabri Pllana, Alex Villazón	A-GWL: Abstract Grid Workflow Language.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
6	Rajeev Alur, P. Madhusudan	Visibly pushdown languages.	STOC	2004	DBLP DOI BibTeX RDF	?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
6	Monika Solanki, Antonio Cau, Hussein Zedan	Introducing Compositionality in Web Service Descriptions.	FTDCS	2004	DBLP DOI BibTeX RDF
6	Hubert Baumeister, Alexander Knapp, Martin Wirsing	Property-Driven Development.	SEFM	2004	DBLP DOI BibTeX RDF
6	Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron	Filtering TOBIAS Combinatorial Test Suites.	FASE	2004	DBLP DOI BibTeX RDF	VDM, combinatorial testing, JML, model-based specifications
6	Daniel Moldt, Jan Ortmann	DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.	FASE	2004	DBLP DOI BibTeX RDF	web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology
6	Isabel Nunes	An OCL Extension for Low-Coupling Preserving Contracts.	UML	2003	DBLP DOI BibTeX RDF
6	David Hemer	Specification matching of state-based modular components.	APSEC	2003	DBLP DOI BibTeX RDF	Retrieval, Component-based development, Specification matching
6	Donald F. Ross	Teaching Contract Programming Concepts to Future Software Engineers.	ICSE	2003	DBLP DOI BibTeX RDF
6	Roshanak Roshandel, Nenad Medvidovic	Multi-view Software Component Modeling for Dependability.	WADS	2003	DBLP DOI BibTeX RDF	the Quartet, reliability, Software architecture, dependability, software component
6	Marc-Philippe Huget, Michael J. Wooldridge	Model Checking for ACL Compliance Verification.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
6	Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001	Model Checking Visual Specification of Requirements.	SEFM	2003	DBLP DOI BibTeX RDF
6	Marc-Philippe Huget, Michael J. Wooldridge	Model checking for ACL compliance verification.	AAMAS	2003	DBLP DOI BibTeX RDF	model checking, verification, agents, semantics, agent communication language
6	Ray Giguette	The Crawfish and the Aztec treasure maze: adventures in data structures.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
6	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Expressing checkable properties of dynamic systems: the Bandera Specification Language.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Object-oriented programs, Temporal specification
6	Evgueni Petrov, Éric Monfroy	Automatic Analysis of Composite Solvers.	ICTAI	2002	DBLP DOI BibTeX RDF
6	Tuba Yavuz-Kahveci, Tevfik Bultan	Heuristics for Efficient Manipulation of Composite Constraints.	FroCoS	2002	DBLP DOI BibTeX RDF
6	Bernhard Beckert, Steffen Schlager	A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.	IJCAR	2001	DBLP DOI BibTeX RDF
6	Bart Jacobs 0001, Erik Poll	A Logic for the Java Modeling Language JML.	FASE	2001	DBLP DOI BibTeX RDF
6	Joachim van den Berg, Bart Jacobs 0001, Erik Poll	Formal Specification and Verification of JavaCard's Application Identifier Class.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
6	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
6	François Bertault, Peter Eades	Graph Library Design.	SCCC	2000	DBLP DOI BibTeX RDF	graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance
6	Shaoying Liu, Masaomi Shibata, Ryuichi Sato	Applying SOFL to Develop a University Information System.	APSEC	1999	DBLP DOI BibTeX RDF
6	Jan Øyvind Aagedal	Towards an ODP-Compliant Object Definition Language with QoS-Support.	IDMS	1998	DBLP DOI BibTeX RDF
6	Ali Hamie, John Howse, Stuart Kent 0001	Navigation Expresion in Object-Oriented Modelling.	FASE	1998	DBLP DOI BibTeX RDF
6	Véronique Benzaken, Xavier Schaefer	Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.	ECOOP	1997	DBLP DOI BibTeX RDF
6	Dimitris Plexousakis	Simulation and analysis of business processes using GOLOG.	COOCS	1995	DBLP DOI BibTeX RDF
6	Pierre De Boeck, Baudouin Le Charlier	Static Type Analysis of Prolog Procedures for Ensuring Correctness.	PLILP	1990	DBLP DOI BibTeX RDF
6	Robert B. Terwilliger	Please: a language combining imperative and logic programming.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	PLEASE
6	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
6	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
6	Maurice Herlihy, Jeannette M. Wing	Axioms for Concurrent Objects.	POPL	1987	DBLP DOI BibTeX RDF
6	David W. Stemple, Subhasish Mazumdar, Tim Sheard	On the Modes and Meaning of Feedback to Transaction Designers.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
6	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
6	Dave Neilson	Hierarchical Refinement Of A Z Specification.	FSTTCS	1987	DBLP DOI BibTeX RDF
6	Angelika Horndasch, Rudi Studer	THM-NET: an approach to office systems modeling.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF