Search results for "Program specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jørgen Steensgaard-Madsen	Program Specification by Module Trees.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Erik Poll	Teaching Program Specification and Verification Using JML and ESC/Java2.	TFM	2009	DBLP DOI BibTeX RDF
2	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
2	Hong Lin, Chunsheng Yang	Chemical Reaction Metaphor in Distributed Learning Environments.	IEA/AIE	2004	DBLP DOI BibTeX RDF	e-learning, program specification, very high-level languages, Agent-oriented modeling
2	Shuhei Kawasaki, Setsuo Ohsuga	A Method of Generating Program Specification from Description of Human Activities.	ISMIS	2000	DBLP BibTeX RDF
2	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
2	Hee Beng Kuan Tan, Tok Wang Ling, Stan Jarzabek, Yin Seong Ho	The Data Derivation Model: A Program Specification Technique That Improves Reusability.	SAC	1993	DBLP DOI BibTeX RDF	business systems, specification reusability, program specification
2	Daniel E. Cooke	An issue of the next generation of problem-solving environments.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	abstraction, ambiguity, program synthesis, Program specification
2	Zhaohui Luo	Program Specification and Data Refinement in Type Theory.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
2	Katsumi Okamoto, Masaski Hashimoto	On Real-Time Program Specification Description with a Data Model-Based Language.	ICCI	1990	DBLP DOI BibTeX RDF	Program specification description language, constraint, timing, entity-relationship model, real-time software, conceptual data model, nonprocedural language
2	Muneo Takahashi, Yuji Kamayachi	An Empirical Study of a Model for Program Error Prediction.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	program error prediction, programmer skill, program specification change, program design documentation, software engineering, software development, program testing, testing phase, large-scale software systems
2	Jørgen Staunstrup (eds.)	Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981	Program Specification	1982	DBLP BibTeX RDF
2	Leif Sandegaard Nielsen, Ib Holm Sørensen	Communication Network.	Program Specification	1981	DBLP BibTeX RDF
2	John V. Guttag	A few Remarks on Putting Formal Specifications to Productive Use.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Jørgen Staunstrup, Joseph A. Goguen	Geometrical Constructions.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Leif Sandegaard Nielsen	Concurrency.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Jørgen Staunstrup	Introduction.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Deepak Kapur, David R. Musser, Alexander A. Stepanov	Tecton: A Language for Manipulating Generic Objects.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Ib Holm Sørensen	A Specification Language.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Jane W. Hughes, Malcolm S. Powell	A Reduction Specification for DTL.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Herbert Klaeren	Recursive Definitions of Operations in Universal Algebras.	Program Specification	1981	DBLP DOI BibTeX RDF
2	James J. Horning	Issues and Observations.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Parameter Passing in Algebraic Specification Languages.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Derek Coleman, Robin M. Gallimore	Partial Correctness of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Flaviu Cristian	Robust Data Types.	Program Specification	1981	DBLP DOI BibTeX RDF	Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling
2	Derek Coleman, Robin M. Gallimore	Specification of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Herbert Klaeren	The SRDL Specification Experiment.	Program Specification	1981	DBLP DOI BibTeX RDF
2	Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen	KWIC-index generation.	Program Specification	1981	DBLP BibTeX RDF
2	Ted J. Biggerstaff	Factored Specifications In The Synthesis Of LISP Functions.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
1	Richard Bubel, Reiner Hähnle, Ulrich Geilmann	A Formalisation of Java Strings for Program Specification and Verification.	SEFM	2011	DBLP DOI BibTeX RDF
1	F. A. Novikov, V. B. Novoseltsev	Interpretable program specification language.	Programming and Computer Software	2010	DBLP DOI BibTeX RDF
1	Safeeullah Soomro, Abdul Baqi	Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification.	ICIC	2010	DBLP DOI BibTeX RDF
1	Anya Helene Bagge, Valentin David, Magne Haveraaen	The axioms strike back: testing with concepts and axioms in C++.	GPCE	2009	DBLP DOI BibTeX RDF	axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x
1	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
1	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
1	Arnon Avron, Beata Konikowska	Proof Systems for Reasoning about Computation Errors.	Studia Logica	2009	DBLP DOI BibTeX RDF	lazy sequential computation, parallel computation, three-valued logics, sequent calculi, four-valued logics, non-deterministic matrices, computation errors
1	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with concepts and axioms in C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
1	Anya Helene Bagge, Valentin David, Magne Haveraaen	Axiom-based testing for C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
1	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
1	Markus Koester, Wayne Luk, Geoffrey Brown	A hardware compilation flow for instance-specific VLIW cores.	FPL	2008	DBLP DOI BibTeX RDF
1	Iman Poernomo	Proofs-as-Model-Transformations.	ICMT	2008	DBLP DOI BibTeX RDF
1	Matthieu Carlier, Catherine Dubois	Functional Testing in the Focal Environment.	TAP	2008	DBLP DOI BibTeX RDF
1	Galen C. Hunt, James R. Larus	Singularity: rethinking the software stack.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	hardware protection domains, manifest-based programs (MBPs), safe programming languages, sealed kernel, sealed process architecture, software-isolated processes (SIPs), unsafe code tax, operating systems, program verification, program specification
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Ordering of events in two-process concurrent system.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
1	Sjoerd Meijer, Bart Kienhuis, Alexandru Turjan, Erwin A. de Kock	Interactive presentation: A process splitting transformation for Kahn process networks.	DATE	2007	DBLP DOI BibTeX RDF
1	Anthony Cowley, Camillo J. Taylor	Orchestrating concurrency in robot swarms.	IROS	2007	DBLP DOI BibTeX RDF
1	Julien Bernet, David Janin	On Distributed Program Specification and Synthesis in Architectures with Cycles.	FORTE	2006	DBLP DOI BibTeX RDF
1	Hong Lin, Chunsheng Yang	Specifying distributed multi-agent systems in chemical reaction metaphor.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Distributed systems, Multi-agent systems, Software architecture, Program specification, Very high-level languages
1	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li	Modularly Certified Dynamic Storage Allocation in SCAP.	QSIC	2006	DBLP DOI BibTeX RDF
1	Michael Jackson	What Can We Expect from Program Verification?	IEEE Computer	2006	DBLP DOI BibTeX RDF	software engineering, program verification, system reliability, software-intensive systems
1	Olga Brukman, Shlomi Dolev	Recovery Oriented Programming.	SSS	2006	DBLP DOI BibTeX RDF	autonomic computing, self-stabilization
1	Patrick Lam, Viktor Kuncak, Martin C. Rinard	Crosscutting techniques in program specification and analysis.	AOSD	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program verification, crosscutting concerns, static analysis tools
1	Bernhard Beckert, Kerry Trentelman	Second-Order Principles in Specification Languages for Object-Oriented Programs.	LPAR	2005	DBLP DOI BibTeX RDF
1	Myla Archer	Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Jutta Eusterbrock	Context-Aware Code Certification.	ASE	2004	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Olaf Owe	Object-Oriented Specification and Open Distributed Systems.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
1	Amitabh Srivastava	Engineering Quality Software.	ICFEM	2004	DBLP DOI BibTeX RDF
1	José San Pedro, Nicolas Denis, Sergio Domínguez	On the Automatic Creation of Customized Video Content.	ICIAR	2004	DBLP DOI BibTeX RDF
1	Emil Sekerinski	Exploring Tabular Verification and Refinement.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Program development, Program specification, Program correctness, Tabular expressions
1	Don S. Batory, Jia Liu, Jacob Neal Sarvela	Refinements and multi-dimensional separation of concerns.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multidimensional separation of concerns, refinements, program synthesis, feature-oriented programming, origami, AHEAD, GenVoca
1	Gustavo Villavicencio	Formal Program Reversing by Conditioned Slicing.	CSMR	2003	DBLP DOI BibTeX RDF	conditioned slicing, algebra of programming, formal methods, Reverse engineering, denotational semantics
1	Lewis B. Baumstark Jr., Murat Guler, Linda M. Wills	Extracting an Explicitly Data-Parallel Representation of Image-Processing Programs.	WCRE	2003	DBLP DOI BibTeX RDF	pattern-recognition, parallelization, program transformation, SIMD, program representation
1	Fabio Simeoni, David Lievens, Richard C. H. Connor, Paolo Manghi	Language Bindings to XML.	IEEE Internet Computing	2003	DBLP DOI BibTeX RDF
1	Mark Minas	AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	Ian J. Hayes, Michael A. Jackson, Cliff B. Jones	Determining the Specification of a Control System from That of Its Environment.	FME	2003	DBLP DOI BibTeX RDF
1	Pawel Kaczmarek, Henryk Krawczyk	Exception Handling Model with Influence Factors for Distributed Systems.	PPAM	2003	DBLP DOI BibTeX RDF
1	Eduardo César, Anna Morajko, Tomàs Margalef, Joan Sorribes, Antonio Espinosa, Emilio Luque	Dynamic performance tuning supported by program specification.	Scientific Programming	2002	DBLP BibTeX RDF
1	G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran	Projected state machine coverage for software testing.	ISSTA	2002	DBLP DOI BibTeX RDF	state machine projection., validation, automated test generation, finite state machine modeling
1	Sebastian Link	Consistency Enforcement in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
1	Setsuo Ohsuga, Shunsuke Chigusa, Katsuyuki Sugaya	Model Based Program Specification and Program Generation - In a Case of Vehicle-Engine Control System Design.	PRICAI Workshops	2000	DBLP DOI BibTeX RDF
1	Raimondas Lencevicius, Alexander Ran, Rahav Yairi	Third eye - specification-based analysis of software execution traces (poster).	ICSE	2000	DBLP DOI BibTeX RDF
1	Klaus-Dieter Schewe	Controlled Automation of Consistency Enforcement. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	Yoonsik Cheon, Heung-Nam Kim	Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.	APSEC	1999	DBLP DOI BibTeX RDF	sequence operator, specification language, Smalltalk, formal semantics, block, Program specification
1	Cliff B. Jones	Scientific Decisions which Characterize VDM.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Setsuo Ohsuga, Takanori Nishio	Model Building and Program Specification - In a Case of Enterprise Design.	PRICAI	1998	DBLP DOI BibTeX RDF
1	Sven-Bodo Scholz	A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC.	IFL	1998	DBLP DOI BibTeX RDF
1	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
1	Carsten Weise, Dirk Lenzkes	Efficient Scaling-Invariant Checking of Timed Bisimulation.	STACS	1997	DBLP DOI BibTeX RDF	program specification and verification, real-time systems, decidability, algorithms and data structures, automata and formal languages
1	Minoru Harada, Takashi Yoshimizu	An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification.	IEICE Transactions	1995	DBLP BibTeX RDF
1	John C. Grundy, John G. Hosking	Software Environment Support for Integrated Formal Program Specification and Development.	APSEC	1995	DBLP DOI BibTeX RDF	integrated software development, formal specification, Object-Z, software engineering environments, consistency management
1	Jean-Raymond Abrial, Egon Börger, Hans Langmaack	The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
1	Gerard Ellis	Object-Oriented Conceptual Graphs.	ICCS	1995	DBLP DOI BibTeX RDF
1	Manuel Enciso, Inman P. de Guzmán, Carlos Rossi	A Temporal Logic for Program Specification.	GULP-PRODE	1994	DBLP BibTeX RDF
1	Ying Liu, Ambuj K. Singh, Rajive Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
1	Zhaohui Luo	Program Specification and Data Refinement in Type Theory.	Mathematical Structures in Computer Science	1993	DBLP DOI BibTeX RDF
1	Hee Beng Kuan Tan, Tok Wang Ling, Yin Seong Ho	Improving the Reusability of Program Specification Through Data Flow Modeling.	ICCI	1993	DBLP BibTeX RDF
1	V. A. Nepomniaschy, A. A. Sulimov	Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM.	DISCO	1993	DBLP DOI BibTeX RDF
1	John P. Gallagher	Static Analysis for Logic Program Specification.	WSA	1992	DBLP BibTeX RDF
1	Wael M. Elseaidy	Static and dynamic analysis of real-time systems.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic
1	Ying Liu, Ambuj K. Singh, Rajive Bagrodia	A Decompositional Approach to the Design of Efficient parallel Programs.	PARLE	1992	DBLP DOI BibTeX RDF
1	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
1	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	Program Specification and Synthesis in Constructive Formal Systems.	LOPSTR	1991	DBLP BibTeX RDF
1	David W. N. Sharp, Martin Cripps	Parallel algorithms that solve problems by communication.	SPDP	1991	DBLP DOI BibTeX RDF
1	Mathai Joseph	Problems, Promises and Performance: Some Questions for Real-time System Specification.	REX Workshop	1991	DBLP DOI BibTeX RDF	synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification
1	Mok-Dong Chung, Yung-Taek Kim	An Automatic Programming Method of Nonprocedural / Procedural Program Specification.	SEKE	1990	DBLP BibTeX RDF
1	Brian Livezey, Richard R. Muntz	ASPEN: A Stream Processing Environment.	PARLE	1989	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
1	S. Sridhar	An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification.	FSTTCS	1986	DBLP DOI BibTeX RDF