Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Antonella Di Stefano, Michele Malgeri, Orazio Mirabella	A specification of a PROWAY protocol with an Algebraic language.	PSTV	1985	DBLP BibTeX RDF
22	Otto Haas	Formal protocol specification based on attribute grammars.	PSTV	1985	DBLP BibTeX RDF
22	Wolfgang Fischer 0002, Klaus Sauer, W. Denzel	A simulation technique for communications protocols based on a formal specification by SDL.	PSTV	1985	DBLP BibTeX RDF
22	David P. Anderson, Lawrence H. Landweber	Protocol Specification by Real-Time Attribute Grammars.	PSTV	1984	DBLP BibTeX RDF
22	Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti	Specification and Implementation of the MONDAN System.	PSTV	1984	DBLP BibTeX RDF
22	A. Udaya Shankar, Simon S. Lam	Specification and Verification of Time-Dependant Communication Protocols.	PSTV	1984	DBLP BibTeX RDF
22	Wolfgang Jürgensen, Son T. Vuong	CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.	PSTV	1984	DBLP BibTeX RDF
22	S. Aggarwal, Robert P. Kurshan	Automated Implementation from Formal Specification.	PSTV	1984	DBLP BibTeX RDF
22	Nihal Nounou, Yechiam Yemini	Algebraic Specification-Based Performance Analysis of Communication Protocols.	PSTV	1984	DBLP BibTeX RDF
22	Daniel Schwabe, Ana R. Cavalli	Temporal Logic Specification of a Virtual Ring LAN Access Protocol.	PSTV	1984	DBLP BibTeX RDF
22	Björn Pehrson, Michael Yoeli	A Communicating System Net Model for Specification and Verification of Distributed Nets.	PSTV	1984	DBLP BibTeX RDF
22	Deepinder P. Sidhu, Thomas P. Blumer	Some Problems with the Specification of the Military Standard Transmission Control Protocol.	PSTV	1984	DBLP BibTeX RDF
22	Ed Brinksma, Günter Karjoth	A Specification of the OSI Transport Service in LOTOS.	PSTV	1984	DBLP BibTeX RDF
22	Jonathan Billington	Specification of the Transport Service Using Numerical Petri Nets.	PSTV	1982	DBLP BibTeX RDF
22	Thomas F. Piatkowski, Lap-Kin Ip, Dayun He	State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.	PSTV	1982	DBLP BibTeX RDF
22	Luigi Logrippo, Robert L. Probert	Protocol/Specification-Level Validation.	PSTV	1982	DBLP BibTeX RDF
22	Gerald A. Simon, David J. Kaufman	An Extended Finite State Machine Approach to Protocol Specification.	PSTV	1982	DBLP BibTeX RDF
22	Richard W. Watson	An Experience in Transport Protocol Specification Using an Algorithmic Programming Language.	PSTV	1982	DBLP BibTeX RDF
22	Thomas P. Blumer, John C. Burruss	Generating a Service Specification of a Connection Management Protocol.	PSTV	1982	DBLP BibTeX RDF
22	Benedetto L. DiVito	Integrated Methods for Protocol Specification and Verification.	PSTV	1982	DBLP BibTeX RDF
22	James F. Kurose	The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic.	PSTV	1982	DBLP BibTeX RDF
22	Richard L. Schwartz, P. M. Melliar-Smith	From State Machines to Temporal Logic: Specification Methods for Protocol Standards.	PSTV	1982	DBLP BibTeX RDF
22	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
22	El Mustapha El Atifi, Gilles Falquet	A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases.	DSV-IS	2005	DBLP DOI BibTeX RDF
22	Benjamin Braatz, Markus Klein 0001, Gunnar Schröter	Semantical Integration of Object-Oriented Viewpoint Specification Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
22	Brian Demsky, Martin C. Rinard	Static Specification Analysis for Termination of Specification-Based Data Structure Repair.	ISSRE	2003	DBLP DOI BibTeX RDF
22	Christine Poerschke, David E. Lightfoot, John L. Nealon	A Formal Specification in B of a Medical Decision Support System.	ZB	2003	DBLP DOI BibTeX RDF
22	Pamela Zave, Michael Jackson 0001	Techniques for Partial Specification and Specification of Switching Systems.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
22	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
22	Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan 0003, Elaine R. Palmer	The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.	ISSRE	2008	DBLP DOI BibTeX RDF
22	Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora	Formal Specification-based Online Monitoring.	ICECCS	2006	DBLP DOI BibTeX RDF
22	Markus Garschhammer, Harald Rölle	Requirements on Quality Specification Posed by Service Orientation.	DSOM	2004	DBLP DOI BibTeX RDF
22	Sun-Jen Huang, Richard Lai 0001	Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
22	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
22	Benjamin C. Pierce, Jerome Vouillon	Unison: A File Synchronizer and Its Specification.	TACS	2001	DBLP DOI BibTeX RDF
22	Giovanna Dondossola, Oliver Botti	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.	FASE	2000	DBLP DOI BibTeX RDF
22	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
22	Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller	Specification-Based Prototyping for Embedded Systems.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
22	Raymond E. Miller, Z. U. Chaudry	On estimating protocol performance from a formal specification.	IPCCC	1999	DBLP DOI BibTeX RDF
22	Jo Erskine Hannay	Specification Refinement with System F.	CSL	1999	DBLP DOI BibTeX RDF
22	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.	ISSTA	1996	DBLP DOI BibTeX RDF
22	David Lee 0001, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar	Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.	ICNP	1996	DBLP DOI BibTeX RDF
22	Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari	Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
22	Huimin Lin	Procedural Implementation of Algebraic Specification.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	abstract implementation, Spec, program refinement, procedural abstraction
22	Danny B. Lange	A Formal Approach to Hypertext using Post-Prototype Formal Specification.	VDM Europe	1990	DBLP DOI BibTeX RDF
22	Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein	From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
22	XinJie Jiang, YongSen Xu	NUSL: An Executable Specification Language Based on Data Abstraction.	VDM Europe	1988	DBLP DOI BibTeX RDF
22	Martin S. Feather	Language Support for the Specification and Development of Composite Systems.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Gist
22	Dave Neilson	Hierarchical Refinement Of A Z Specification.	FSTTCS	1987	DBLP DOI BibTeX RDF
22	John V. Guttag, James J. Horning	Formal Specification as a Design Tool.	POPL	1980	DBLP DOI BibTeX RDF
22	Stefan Hallerstede, Michael J. Butler	Performance analysis of probabilistic action systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Trace refinement, Simulation, Markov decision process
22	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	KIV 3.0 for Provably Correct Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
22	Doron A. Peled	Sometimes 'Some' is as Good as 'All'.	CONCUR	1992	DBLP DOI BibTeX RDF
22	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Use Case Maps as a property specification language.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
22	Tomás Poch, Frantisek Plásil	Extracting Behavior Specification of Components in Legacy Applications.	CBSE	2009	DBLP DOI BibTeX RDF	Component behavior specification, Reverse engineering
22	José Luis de la Vara, Juan Sánchez	BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt.	REFSQ	2009	DBLP DOI BibTeX RDF	Information System, Requirements Specification, Requirements Elicitation, BPMN, Task Description
22	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
22	Lei Wang 0002, Nicholas J. Dingle, William J. Knottenbelt	Natural Language Specification of Performance Trees.	EPEW	2008	DBLP DOI BibTeX RDF	Performance requirements specification, Performance Trees, Performance analysis, Natural language
22	Yongwu Miao, Peter B. Sloep, Rob Koper	Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment Process Specification.	ICWL	2008	DBLP DOI BibTeX RDF	e-learning standard, IMS QTI, assessment process specification, new forms of assessment, IMS LD
22	Stephan Frohnhoff, Thomas Engeroff	Field Study: Influence of Different Specification Formats on the Use Case Point Method.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	project effort estimation, top-down estimation, UCP, estimation reproducibility, specification, field study, use case points
22	Nelson Souto Rosa, Paulo Roberto Freire Cunha	A formal framework for middleware behavioural specification.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	middleware, formal specification, framework, LOTOS
22	Thomas Fleischmann	Model Based HMI Specification in an Automotive Context.	HCI (8)	2007	DBLP DOI BibTeX RDF	HMI Specification, Code generation, Domain Specific Language, Model based
22	Iakovos Ouranos, Petros S. Stefaneas	Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.	CAI	2007	DBLP DOI BibTeX RDF	Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ
22	Lea Skorin-Kapov, Maja Matijasevic	A data specification model for multimedia QoS negotiation.	MobiMedia	2007	DBLP DOI BibTeX RDF	data specification, QoS, multimedia, adaptation, negotiation
22	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
22	Ádám Darvas, Peter Müller 0001	Faithful mapping of model classes to mathematical structures.	SAVCBS	2007	DBLP DOI BibTeX RDF	model classes, verification, specification, abstraction, isomorphism, java modeling language
22	Yannick Le Moullec, Jean-Philippe Diguet, Nader Ben Amor, Thierry Gourdeaux, Jean Luc Philippe	Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	algorithm/architecture matching, specification, SoCs, design-space exploration, characterization
22	Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres	Improving the Digital Design with Semi-formal Specification.	CONIELECOMP	2006	DBLP DOI BibTeX RDF	semiformal specification, model checking tools, assertions, properties, Assertion based verification
22	Hongmei Chi, Edward L. Jones, Deidre W. Evans, Martin Brown	Generating Test Data for Specification-Based Tests Via Quasirandom Sequences.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF	specification-driven test, functional test coverage, quasirandom numbers, well-distributed sequences, automatic test case generation
22	Shamus P. Smith, James S. Willans	Virtual object specification for usable virtual environments.	OZCHI	2006	DBLP DOI BibTeX RDF	virtual world objects, design, virtual environments, specification, requirements, scenarios
22	Humberto Nicolás Castejón Martínez, Rolv Bræk	A collaboration-based approach to service specification and detection of implied scenarios.	SCESM	2006	DBLP DOI BibTeX RDF	UML 2.0 collaborations, goal sequences, implied scenarios, roles, goals, service specification
22	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
22	Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt	A Specification-Based Intrusion Detection Model for OLSR.	RAID	2005	DBLP DOI BibTeX RDF	Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR
22	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Logical Approach to Quality of Service Specification in Video Databases.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	QoS mapping, constraint-based query languages, constraint satisfaction, reactive systems, video databases, multimedia presentations, constraint optimization, QoS parameters, QoS specification
22	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
22	Miguel A. de Miguel, M. Teresa Higuera-Toledano	Runtime Management of Quality Specification for QoS-Aware Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF	Component Infrastructures, Model-Driven Component Development, Quality of Service Specification
22	Sule Nair, Rachel Cardell-Oliver	Formal specification and analysis of performance variation in sensor network diffusion protocols.	MSWiM	2004	DBLP DOI BibTeX RDF	temporal logic of actions, sensor network, formal specification, directed diffusion
22	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Database Approach to Quality of Service Specification in Video Databases.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF	QoS Mapping, constraint-based query languages, quality of service, constraint satisfaction, video databases, multimedia presentations, QoS Parameters, QoS Specification
22	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
22	Serdar Tasiran, Yuan Yu, Brannon Batson	Using a formal specification and a model checker to monitor and direct simulation.	DAC	2003	DBLP DOI BibTeX RDF	model checking, specification, abstraction, coverage
22	Frank Feiks, David Hemer	Specification Matching of Object-Oriented Components.	SEFM	2003	DBLP DOI BibTeX RDF	OO components, retrieval, specification matching
22	Soon-Jyh Chang, Chung-Len Lee 0001, Jwu E. Chen	Structural Fault Based Specification Reduction for Testing Analog Circuits.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	specification-based test, analog test, fault-based test, test cost reduction
22	Rasool Jalili, Mohsen Rezvani	Specification and Verification of Security Policies in Firewalls.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Formal Specification, Security Policy, Firewall
22	Marielle Doche, Andrew M. Gravell	Extraction of Abstraction Invariants for Data Refinement.	ZB	2002	DBLP DOI BibTeX RDF	failure refinement, distributed system, Formal specification, CSP, B, data refinement
22	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
22	Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon	A Modular Approach to the Specification and Validation of an Electrical Flight Control System.	FME	2001	DBLP DOI BibTeX RDF	Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification
22	Stefan Sauer 0001, Gregor Engels	UML-based Behavior Specification of Interactive Multimedia Applications.	HCC	2001	DBLP DOI BibTeX RDF	UML, interactive multimedia, behavior specification, integrated modeling
22	Mor Peleg, Dov Dori	The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology
22	Edwin D. de Jong, Jaco van de Pol, Jozef Hooman	Refinement in Requirements Specification and Analysis: A Case Study.	ECBS	2000	DBLP DOI BibTeX RDF	requirements specification and analysis, formal methods, refinement, theorem provers
22	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre	Petri Net Based Behavioural Specification of CORBA Systems.	ICATPN	1999	DBLP DOI BibTeX RDF	behavioural specification, Distributed systems, CORBA, high-level Petri nets
22	Rémi Bastide, Ousmane Sy, Philippe A. Palanque	Formal Specification and Prototyping of CORBA Systems.	ECOOP	1999	DBLP DOI BibTeX RDF	Formal methods, Petri nets, CORBA, behavioral specification, Distributed object-oriented systems
22	Rodolphe Ortalo	A Flexible Method for Information System Security Policy Specification.	ESORICS	1998	DBLP DOI BibTeX RDF	information systems, deontic logic, security policy specification
22	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
22	Amnon H. Eden, Amiram Yehudai, Joseph Gil	Precise Specification and Automatic Application of Design Patterns.	ASE	1997	DBLP DOI BibTeX RDF	precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods
22	Phil Stocks, David A. Carrington	A Framework for Specification-Based Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Specification-based testing, testing strategies, test oracles, Z notation, test data
22	Roderick McConnell, Dominique Lavenier	Prototyping of VLSI components from a formal specification.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF	Synchronous Data Flow, Formal Specification, VLSI
22	Issam A. Hamid	A dynamic Extension for the Specification of Distributed Systems.	APSEC	1996	DBLP DOI BibTeX RDF	dynamic extension, distributed systems, software engineering, specification
22	Richard C. Scalzo, Michelle M. Hugue	A Framework for Dependability Specification.	ICECCS	1996	DBLP DOI BibTeX RDF	real-time, framework, specification, dependability
22	Alberto Del Bimbo, Enrico Vicario	Specification by-Example of Virtual Agents Behavior.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	Interactive graphic environments, specification by-example, human-computer interaction, virtual reality, animation, rapid prototyping, spatio-temporal reasoning
22	Karl R. P. H. Leung, Daniel Kim Chung Chan	Prototyping the Structured Specification as Logic Programs.	APSEC	1995	DBLP DOI BibTeX RDF	Structured Specification, Formal Methods, Prototyping