Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
26	Steve M. Easterbrook, Bashar Nuseibeh	Managing inconsistencies in an evolving specification.	RE	1995	DBLP DOI BibTeX RDF	evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications
26	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
26	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
26	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity
26	Valdis Berzins, Luqi, Amiram Yehudai	Using Transformations in Specification-Based Prototyping.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description
26	Leslie S. Smith	A Framework for Neural Net Specification.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	neural net specification, interacting processing elements, formal specification, framework, connections, neural nets, transfer functions, mathematical framework
26	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
26	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
26	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
26	Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.)	Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida	8k-ary Grid Graph Models of Tabular Forms.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Grigore Rosu, Dorel Lucanu	Behavioral Rewrite Systems and Behavioral Productivity.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar	The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Rolf Hennicker, Annabelle Klarl	Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Bertrand Meyer 0001, Alexander Kogtenkov	Negative Variables and the Essence of Object-Oriented Programming.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Jiaxiang Liu 0001, Jean-Pierre Jouannaud	Confluence: The Unifying, Expressive Power of Locality.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001	Towards a Combination of CafeOBJ and PAT.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi	On Automation of OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra	Some Engineering Applications of the OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Shin Nakajima 0001	Everlasting Challenges with the OBJ Language Family.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Model Checking TLR* Guarantee Formulas on Infinite Systems.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Kazuhiro Ogata 0001, Kokichi Futatsugi	Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Razvan Diaconescu	CafeOBJ Traces.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Santiago Escobar 0001	Functional Logic Programming in Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki	Parchments for CafeOBJ Logics.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi	Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Anne E. Haxthausen	An Institution for Imperative RSL Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Dines Bjørner	Domain Endurants - An Analysis and Description Process Model.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Shaoying Liu	Extending Operation Semantics to Enhance the Applicability of Formal Refinement.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Leon J. Osterweil	On Formal Definition and Analysis of Formal Verification Processes.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Jon Grov, Peter Csaba Ölveczky	Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	John Rushby	The Versatile Synchronous Observer.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002	Dynamic Validation of Maude Prototypes of UML Models.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña	Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott	Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Camilo Rocha, José Meseguer 0001	Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing	Reasoning (on) Service Component Ensembles in Rewriting Logic.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Behaviour, Interaction and Dynamics.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio	Synthesis of Infinite-State Abstractions and Their Use for Software Validation.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
26	Mark Timmer, Ed Brinksma, Mariëlle Stoelinga	Model-Based Testing.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Constance L. Heitmeyer	Requirements Models for Critical Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Doron A. Peled	Model Checking.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Carlo Ghezzi	Engineering Evolving and Self-Adaptive Systems: An Overview.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	John Harrison 0001	Formal Verification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Model-Based Verification and Analysis for Real-Time Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Holger Hermanns, Lijun Zhang 0001	From Concurrency Models to Numbers - Performance and Dependability.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Tony Hoare, John Wickerson	Unifying Models of Data Flow.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Jens Palsberg (eds.)	Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Mobile Processes and Termination.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	José Meseguer 0001	Order-Sorted Parameterization and Induction.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Hanne Gottliebsen, Kristoffer H. Rose	Converting between Combinatory Reduction Systems and Big Step Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Ben L. Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Jens Palsberg	Tribute to Peter Mosses.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	David A. Watt	Action Semantics in Retrospect.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	David P. LaPotin, Charles J. Alpert, John Lillis (eds.)	Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP BibTeX RDF
26	Hai Zhou 0001	Clock schedule verification with crosstalk.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	verification, delay, coupling, clock schedule
26	Ei Ando, Masafumi Yamashita, Toshio Nakata, Yusuke Matsunaga	The statistical longest path problem and its application to delay analysis of logical circuits.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer	Minimum-power retiming for dual-supply CMOS circuits.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	dual-supply, retiming theory, low-power, synthesis, low-power design
26	Haydar Saaied, Dhamin Al-Khalili, Asim J. Al-Khalili, Mohamed Nekili	Quadratic deferred-merge embedding algorithm for zero skew clock distribution network.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	VLSI, clock distribution network, zero skew
26	Avi Efrati, Moshe Kleyner	Timing analysis challenges for high speed CPUs at 90nm and below.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Himanshu Kaul, Dennis Sylvester, David T. Blaauw	Active shielding of RLC global interconnects.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Sangyun Kim 0001, Sunan Tugsinavisut, Peter A. Beerel	Reducing probabilistic timed petri nets for asynchronous architectural analysis.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Jun Chen 0008, Lei He 0001	Determination of worst-case crosstalk noise for non-switching victims in GHz+ buses.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	interconnect design
26	Duane S. Boning, Joseph Panganiban, Karen Gonzalez-Valentin, Sani R. Nassif, Chandler McDowell, Anne E. Gattiker, Frank Liu 0001	Test structures for delay variability.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Min Zhao 0001, Kaushik Gala, Vladimir Zolotov, Yuhong Fu, Rajendran Panda, R. Ramkumar, Bhuwan K. Agrawal	Worst case clock skew under power supply variations.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	clock skew, power supply noise, clock network
26	Kurt Keutzer, Michael Orshansky	From blind certainty to informed uncertainty.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula	Statistical timing analysis using bounds and selective enumeration.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Paul I. Pénzes, Mika Nyström, Alain J. Martin	Transistor sizing of energy-delay--efficient circuits.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	energy-delay optimization, transistor sizing
26	Louis Scheffer	Explicit computation of performance as a function of process variation.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	static timing, process variation, yield, statistical timing
26	Brian A. Floyd, Xiaoling Guo, James Caserta, Timothy O. Dickson, Chih-Ming Hung, Kihong Kim, Kenneth K. O	Wireless interconnects for clock distribution.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	integrated antenna, wireless interconnect, wireless communication, interconnect, clock distribution, RF CMOS
26	Joni Dambre, Dirk Stroobandt, Jan Van Campenhout	A probabilistic approach to clock cycle prediction.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	clock cycle prediction, performance modeling, interconnect prediction
26	Ali Dasdan	Efficient algorithms for debugging timing constraint violations.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	over-constraint resolution, scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis
26	Kanak Agarwal, Dennis Sylvester, David T. Blaauw	A library compatible driving point model for on-chip RLC interconnects.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Baris Taskin, Ivan S. Kourtev	Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	optimization, linear programming, clock skew, cycle stealing
26	Bhavana Thudi, David T. Blaauw	Efficient switching window computation for cross-talk noise.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula	Statistical timing analysis using bounds and selective enumeration.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
26	Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang	Aggressive crunching of extracted RC netlists.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay
26	Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan	PERI: a technique for extending delay and slew metrics to ramp inputs.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	Elmore, slew, delay, interconnects, PDF, moments, median, skewness, standard deviation
26	Rudolf Berghammer, Yassine Lakhnech (eds.)	Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998	Tool Support for System Specification, Development and Verification	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen	Engineering, Software and Hypotheses.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn	The Vital Processor Interlocking.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver	The Compact Dynamic Bus Station.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen, Arjan van Waveren	Road Traffic Regulation.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen	Preface.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen	Conclusion.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend	The Generic Structure Editor.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen, Jos van Wamel	A Semantic Approach to Protocold.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Sebastiaan van Vlijmen	Epitomes of Four other Cases.	Algebraic Specification in Action	1999	DBLP DOI BibTeX RDF
26	Hélène Kirchner	Term Rewriting.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
26	Donald Sannella, Andrzej Tarlecki	Algebraic Preliminaries.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
26	Peter Padawitz	Proof in Flat Specifications.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
26	Maura Cerioli, Till Mossakowski, Horst Reichel	From Total Equational to Partial First-Order Logic.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF