Search results for "specification languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
3	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
3	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
3	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
3	Xiaoping Jia	An approach to animating Z specifications. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
3	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
3	Shiu-Kai Chin, John Faust, Joseph Giordano	Integrating formal methods tools to support system design.	ICECCS	1995	DBLP DOI BibTeX RDF	formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
3	Rix Groenboom, Gerard R. Renardel de Lavalette	Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
3	Egidio Astesiano, Maura Cerioli	Multiparadigm Specification Languages: A First Attempt at Foundations.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
3	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
2	Christian Dax, Felix Klaedtke, Stefan Leue	Specification Languages for Stutter-Invariant Regular Properties.	ATVA	2009	DBLP DOI BibTeX RDF
2	Edgar G. Daylight, Sandeep K. Shukla	On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.	FM	2009	DBLP DOI BibTeX RDF	adaptability, non-functional requirements, formal specification languages, local reasoning
2	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
2	Amir A. Khwaja, Joseph E. Urban	The State of Executable Real-Time Specification Languages and the Need for Advancements.	ISORC	2008	DBLP DOI BibTeX RDF	Real-time features coverage, syntactic difficulty, intertwining implementation, Real-time, executable specifications
2	Jeremy E. Dawson	Compound monads in specification languages.	PLPV	2007	DBLP DOI BibTeX RDF	angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
2	Masaki Nakamura, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
2	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
2	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
2	Silvie Spreeuwenberg, Rik Gerrits	Business Rules in the Semantic Web, Are There Any or Are They Different?	Reasoning Web	2006	DBLP DOI BibTeX RDF	Rule standards, Reasoning languages, Semantic Web, Specification languages, Business rules, SBVR
2	Bernhard Beckert, Kerry Trentelman	Second-Order Principles in Specification Languages for Object-Oriented Programs.	LPAR	2005	DBLP DOI BibTeX RDF
2	Jingwen Jin, Klara Nahrstedt	QoS Specification Languages for Distributed Multimedia Applications: A Survey and Taxonomy.	IEEE MultiMedia	2004	DBLP DOI BibTeX RDF
2	Marius C. Bujorianu	Integration of Specification Languages Using Viewpoints.	IFM	2004	DBLP DOI BibTeX RDF	Language integration, process algebra, Z, type theory, viewpoints, category theory
2	Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi	Supporting Case Analysis with Algebraic Specification Languages.	CIT	2004	DBLP DOI BibTeX RDF
2	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
2	Sandrine Duflos, Gladys Diaz, Valérie Gay, Eric Horlait	A Comparative Study of Policy Specification Languages for Secure Distributed Applications.	DSOM	2002	DBLP DOI BibTeX RDF
2	Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson	Investigating the readability of state-based formal requirements specification languages.	ICSE	2002	DBLP DOI BibTeX RDF
2	Albertas Caplinskas, Audrone Lupeikiene, Olegas Vasilecas	A Framework to Analyse and Evaluate Information Systems Specification Languages.	ADBIS	2002	DBLP DOI BibTeX RDF
2	Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems	A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	update logics, knowledge-based systems, dynamics, Specification languages, inference control
2	Robert F. Stärk, Stanislas Nanchen	A Logic for Abstract State Machines.	CSL	2001	DBLP DOI BibTeX RDF	logical foundations of specification languages, modal logic, dynamic logic, Abstract State Machines
2	Nancy G. Leveson	Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.	HSCC	2000	DBLP DOI BibTeX RDF
2	Óscar Corcho, Asunción Gómez-Pérez	A Roadmap to Ontology Specification Languages.	EKAW	2000	DBLP DOI BibTeX RDF
2	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
2	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
2	Gary T. Leavens, Tim Wahls, Albert L. Baker	Formal Semantics for SA Style Data Flow Diagram Specification Languages.	SAC	1999	DBLP DOI BibTeX RDF	semantics of formal specification languages, concurrency, refinement, structured analysis, data flow diagram
2	Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese	Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
2	Martin C. Henson, Steve Reeves	Revising Z: Part II - Logical Development.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, Semantics of specification languages
2	Martin C. Henson, Steve Reeves	Revising Z: Part I - Logic and Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, semantics of specification languages
2	Steven Bradley, William Henderson, David Kendall, Adrian Robson	Integrating AORTA with Model-Based Data Specification Languages.	FASE	1998	DBLP DOI BibTeX RDF
2	Arcot Sowmya, S. Ramesh	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
2	Dieter Nazareth	The Semantic Treatment of Polymorphic Specification Languages.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, algebraic semantics, axiomatic specification
2	D. J. Andrews, Jan Friso Groote, C. A. Middelburg (eds.)	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993	Semantics of Specification Languages	1994	DBLP BibTeX RDF
2	Ludo Cuypers	Specification Languages and Their Implementations.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Lotos
2	Stefan Kahrs, Donald Sannella, Andrzej Tarlecki	The Semantics of Extended ML: A Gentle Introduction.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Jan Friso Groote, Alban Ponse	Proof Theory for muCRL: A Language for Processes with Data.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Djamel-Eddine Saïdouni, Jean-Pierre Courtiat	Syntactic Action Refinement in Presence of Multiway Synchronisation.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Stephan Kleuker	Case Study: Stepwise Development of a Communication Processor Using Trace Logic.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	T. B. Dinesh	Type-Checking Revisited: Modular Error-Handling.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Loe M. G. Feijs	An Overview of the Development of COLD.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Stephen Brien	The Development of Z.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Flemming M. Damm, Bo Stig Hansen	Generation of Proof Obligations for Type Consistency.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Hans Toetenel	Loose Real-Time Communicating Agents.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	John S. Fitzgerald, R. Moore	Experiences in Developing a Proof Theory for VDM Specifications.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Michael Schenke	A Timed Specification Language for Concurrent Reactive Systems.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Gerard R. Renardel de Lavalette	From Implicit via Inductive to Explicit Definitions.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Peter Gorm Larsen	Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Gerard R. Renardel de Lavalette	The Static Part of the Design Language COLD-K.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	M. P. A. Sellink	Verifying Process Algebra Proofs in Type Theory.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Bart Botma	Rendez-vous with Bundle Event Structures.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Robert Milne	The Formal Basis for the RAISE Specification Language.	Semantics of Specification Languages	1993	DBLP BibTeX RDF
2	Alexander Borgida, John Mylopoulos, Raymond Reiter	"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.	ICSE	1993	DBLP BibTeX RDF	semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations
2	Valery N. Agafonov	From Specification Languages to Specification Knowledge Bases: The PTO Approach.	MFCS	1989	DBLP DOI BibTeX RDF
2	C. K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia	Specification languages-assessment and trends.	ICCL	1988	DBLP DOI BibTeX RDF
2	Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham	PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
2	Luqi, Valdis Berzins, Raymond T. Yeh	A Prototyping Language for Real-Time Software.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
2	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification
2	Pierpaolo Degano, Ugo Montanari	Specification Languages for Distributed Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
2	Bernd Mahr, Johann A. Makowsky	Characterizing Specification Languages Which Admit Initial Semantics.	CAAP	1983	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	Robert Balzer, Neil M. Goldman	Principles of good software specification and their implications for specification languages.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Pierre Bourhis, Victor Vianu	Comparing workflow specification languages: a matter of views.	ICDT	2011	DBLP DOI BibTeX RDF
1	Ivan Radojevic, Zoran Salcic, Partha S. Roop	Design of Distributed Heterogeneous Embedded Systems in DDFCharts.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	modeling, specification languages, Formal languages, heterogeneous systems
1	Daniel Deutch, Tova Milo	A quest for beauty and wealth (or, business processes for database researchers).	PODS	2011	DBLP DOI BibTeX RDF
1	Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin	A verification system for interval-based specification languages.	ACM Trans. Softw. Eng. Methodol.	2010	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov	Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.	FMCO	2010	DBLP DOI BibTeX RDF
1	Vinitha Hannah Subburaj, Joseph E. Urban	Issues and Challenges in Building a Framework for Reactive Agent Systems.	CISIS	2010	DBLP DOI BibTeX RDF	reactive agents, specification languages, agent system
1	Manuel Fähndrich, Michael Barnett, Francesco Logozzo	Embedded contract languages.	SAC	2010	DBLP DOI BibTeX RDF	CodeContracts, C#, NET
1	Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp	Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.	ECEASST	2009	DBLP BibTeX RDF
1	Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp	Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.	MoDELS Workshops	2009	DBLP DOI BibTeX RDF
1	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
1	Stéphane Garredu, Evelyne Vittori, Jean François Santucci	A DEVS-oriented intuitive modeling language.	SpringSim	2009	DBLP DOI BibTeX RDF	methodology, code generation, MDA, specification languages, DEVS
1	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
1	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
1	Muhammad Umair Ahmed Khan, Mohammad Zulkernine	On Selecting Appropriate Development Processes and Requirements Engineering Methods for Secure Software.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Sebastian Mödersheim	Algebraic Properties in Alice and Bob Notation.	ARES	2009	DBLP DOI BibTeX RDF
1	Jin Song Dong, Jun Sun 0001	Towards Expressive Specification and Efficient Model Checking.	TASE	2009	DBLP DOI BibTeX RDF
1	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann	Better Quality in Synthesis through Quantitative Objectives.	CAV	2009	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Hongyang Qu, Franco Raimondi	MCMAS: A Model Checker for the Verification of Multi-Agent Systems.	CAV	2009	DBLP DOI BibTeX RDF
1	Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz	A Uniform Framework for Modeling and Verifying Components and Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Christian Dax, Felix Klaedtke, Martin Lange	On Regular Temporal Logics with Past, .	ICALP	2009	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Paulo J. Matos, Bernd Fischer 0002, João P. Marques Silva	A Lazy Unbounded Model Checker for Event-B.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	From Philosophical to Industrial Logics.	ICLA	2009	DBLP DOI BibTeX RDF
1	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
1	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos	Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.	RV	2009	DBLP DOI BibTeX RDF
1	Gerald Lüttgen, Walter Vogler	Safe Reasoning with Logic LTS.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Christoforos E. Economakos, Fotis N. Koumboulis	Efficient robust supervisors for discrete event systems.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller
1	Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese	A Meta-model of Access Control in a Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Security, Access Control, Logic
1	Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata	Meta-Argumentation Modelling I: Methodology and Techniques.	Studia Logica	2009	DBLP DOI BibTeX RDF	Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning
1	Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand	Supervisory control of modular systems with global specification languages.	Automatica	2008	DBLP DOI BibTeX RDF