Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	JML2B: Checking JML Specifications with B Machines.	B	2007	DBLP DOI BibTeX RDF
15	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
15	Dick Hamlet	Test-Based Specifications of Components and Systems.	QSIC	2007	DBLP DOI BibTeX RDF	Component/system testing theory, test- based specification, persistent state
15	Philippe Collet, Alain Ozanne, Nicolas Rivierre	Towards a Versatile Contract Model to Organize Behavioral Specifications.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
15	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou	Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Jorge Bondia, Antonio Sala 0001, Jesús Picó, Miguel Ángel Sainz	Controller Design Under Fuzzy Pole-Placement Specifications: An Interval Arithmetic Approach.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
15	Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez	An Agile Approach to Support Incremental Development of Requirements Specifications.	ASWEC	2006	DBLP DOI BibTeX RDF
15	Stephen S. Yau, Junwei Liu	Incorporating Situation Awareness in Service Specifications.	ISORC	2006	DBLP DOI BibTeX RDF	web ontology language for Web services, Service-oriented architecture, situation awareness, service specification, service-based systems
15	Kevin Kahley, Manigandan Radhakrishnan, Jon A. Solworth	Factoring High Level Information Flow Specifications into Low Level Access Controls.	IWIA	2006	DBLP DOI BibTeX RDF
15	Nicolas Guelfi, Amel Mammar	A formal framework to generate XPDL specifications from UML activity diagrams.	SAC	2006	DBLP DOI BibTeX RDF	XPDL language, transformations, correctness proofs, UML activity diagrams
15	Christopher K. Lennard, Victor Berman, Saverio Fazzari, Mark A. Indovina, Cary Ussery, Marino Strik, John Wilson, Olivier Florent, François Rémond, Pierre Bricaud	Industrially proving the SPIRIT consortium specifications for design chain integration.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
15	Matteo Dell'Amico, Maura Cerioli	DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.	AMAST	2006	DBLP DOI BibTeX RDF
15	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	Automated Boundary Test Generation from JML Specifications.	FM	2006	DBLP DOI BibTeX RDF	boundary values, Test generation, automated, model-based, Java Modeling Language
15	Mauricio Ayala-Rincón, Thomas Mailleux Santana	SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS.	SBCCI	2006	DBLP DOI BibTeX RDF
15	Mithun Acharya, Tao Xie 0001, Jun Xu 0003	Mining Interface Specifications for Generating Checkable Robustness Properties.	ISSRE	2006	DBLP DOI BibTeX RDF
15	Virginia Niculescu	Cost evaluation from specifications for BSP programs.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Mana Taghdiri, Robert Seater, Daniel Jackson 0001	Lightweight extraction of syntactic specifications.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	modular abstraction, symbolic summary, syntactic specification, symbolic execution
15	Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Emerson Oliveira, Zair Abdelouahab, Denivaldo Lopes	Security on MASs with XML Security Specifications.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
15	Vassiliki Alevizou, Dimitris Plexousakis	Enhanced Specifications for Web Service Composition.	ECOWS	2006	DBLP DOI BibTeX RDF
15	Sarbjeet Singh, Seema Bawa	A Framework for Handling Security Problems in Grid Environment using Web Services Security Specifications.	SKG	2006	DBLP DOI BibTeX RDF
15	Bastian Dölle	Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.	SNPD	2006	DBLP DOI BibTeX RDF
15	Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard	Inference and enforcement of data structure consistency specifications.	ISSTA	2006	DBLP DOI BibTeX RDF	data structure repair, dynamic invariant detection
15	Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel	Automatic Visualization of Abstract System Specifications.	QSIC	2006	DBLP DOI BibTeX RDF
15	Masahiro Nakano, Kazuhiro Ogata 0001, Masaki Nakamura 0001, Kokichi Futatsugi	Automating Invariant Verification of Behavioral Specifications.	QSIC	2006	DBLP DOI BibTeX RDF	fixed-point computation, lemma discovery, algebraic specification, rewriting, authentication protocols
15	Dimosthenis Kaponis, Jeremy Pitt	Dynamic Specifications in Norm-Governed Open Computational Societies.	ESAW	2006	DBLP DOI BibTeX RDF
15	José Raúl Romero, Antonio Vallecillo	On the Execution of ODP Computational Specifications.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
15	Gagan Raj Gupta, Madhur Gupta, Preeti Ranjan Panda	Rapid estimation of control delay from high-level specifications.	DAC	2006	DBLP DOI BibTeX RDF	control delay, high level synthesis, estimation, FSM
15	Itamar Elhanany, Derek Chiou, Vahid Tabatabaee, Raffaele Noro, Ali Poursepanj	The Network Processing Forum switch fabric benchmark specifications: an overview.	IEEE Netw.	2005	DBLP DOI BibTeX RDF
15	Stephen Doxsee, William B. Gardner	Synthesis of C++ Software from Verifiable CSPm Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
15	Vahan Harput, Hermann Kaindl, Stefan Kramer 0001	Extending Function Point Analysis of Object-Oriented Requirements Specifications.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
15	Emilia Katz, Shmuel Katz	Verifying Scenario-Based Aspect Specifications.	FM	2005	DBLP DOI BibTeX RDF	convenient executions, model-checking, scenarios, Aspects, conformance
15	Bikram Sengupta, Rance Cleaveland	Executable Requirements Specifications Using Triggered Message Sequence Charts.	ICDCIT	2005	DBLP DOI BibTeX RDF
15	Hailiang Mei, Johan Lukkien	A remote personal device management framework based on SyncML DM specifications.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	RPDM, SyncML DM, remote device management, security, privacy, access control
15	Kris Bubendorfer, Peter Komisarczuk, Kyle Chard	Efficient dynamic resource specifications.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	resource specification, ubiquitous devices, mobile, pervasive, utility computing
15	Eugene Goldberg	Equivalence Checking of Circuits with Parameterized Specifications.	SAT	2005	DBLP DOI BibTeX RDF
15	Jun Hu, Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Linzhang Wang, Xuandong Li, Guoliang Zheng	Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
15	Levi Lucio, Luis Pedro, Didier Buchs	A Test Language for CO-OPN Specifications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
15	David A. Burke, Kristofer Johannisson	Translating Formal Software Specifications to Natural Language.	LACL	2005	DBLP DOI BibTeX RDF
15	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting	JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.	TACAS	2005	DBLP DOI BibTeX RDF	symbolic animation, object-oriented, model-based, Java Modeling Language
15	Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Automatic monitor generation from regular expression based specifications for module interface verification.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
15	Shrideep Pallickara, Geoffrey C. Fox	An Analysis of Notification Related Specifications for Web/Grid Applications.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Web Services, publish/subscribe, Grid Services, notifications, WSRF, middleware systems
15	Li Tan	Model-based self-monitoring embedded programs with temporal logic specifications.	ASE	2005	DBLP DOI BibTeX RDF	embedded systems, temporal logic, run-time verification
15	Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko	Property Preserving Redesign of Specifications.	CALCO	2005	DBLP DOI BibTeX RDF
15	Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk 0001, Johannes Siedersleben	Pragmatic Consistency Management in Industrial Requirements Specifications.	SEFM	2005	DBLP DOI BibTeX RDF
15	Fangjun Wu, Tong Yi	Slicing Z specifications.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	specification slicing, program slicing, dependence analysis, formal specification language
15	William A. Marsh	Opinion item: cancelled US-military specifications.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
15	Alex Doboli, Nagu R. Dhanwada, Adrián Núñez-Aldana, Ranga Vemuri	A two-layer library-based approach to synthesis of analog systems from VHDL-AMS specifications.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	genetic algorithms, branch-and-bound, performance estimation, VHDL-AMS, Analog synthesis
15	Vikas Deora, Jianhua Shao 0001, Gareth Shercliff, Patrick J. Stockreisser, W. A. Gray, Nick J. Fiddian	Incorporating QoS Specifications in Service Discovery.	WISE Workshops	2004	DBLP DOI BibTeX RDF
15	Ralph D. Jeffords, Elizabeth I. Leonard	Using invariants to optimize formal specifications before code synthesis.	MEMOCODE	2004	DBLP DOI BibTeX RDF
15	Polyhronis Spanoudakis, Nikos Tsourveloudis, Kimon P. Valavanis	Design Specifications for an Unmanned VTOL.	ICRA	2004	DBLP DOI BibTeX RDF
15	Martin Giese, Rogardt Heldal	From Informal to Formal Specifications in UML.	UML	2004	DBLP DOI BibTeX RDF
15	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
15	Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen	Generating web-based systems from specifications.	SAC	2004	DBLP DOI BibTeX RDF	navigation safeness, type safeness, specification, Web engineering, automatic generation
15	Marius C. Bujorianu, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
15	Michel Bidoit, Rolf Hennicker	Glass Box and Black Box Views of State-Based System Specifications..	AMAST	2004	DBLP DOI BibTeX RDF
15	C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel	Object-oriented modeling and synthesis of SystemC specifications.	ASP-DAC	2004	DBLP DOI BibTeX RDF
15	Nuttorn Jangkrajarng, Sambuddha Bhattacharya, Roy Hartono, C.-J. Richard Shi	Multiple specifications radio-frequency integrated circuit design with automatic template-driven layout retargeting.	ASP-DAC	2004	DBLP DOI BibTeX RDF
15	Yi Liu 0001, H. Conrad Cunningham	Mapping component specifications to Enterprise JavaBeans implementations.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	design mapping, component software, Enterprise JavaBeans
15	Kuo-Yang Tu, Tung-Chung Wu, Tsu-Tian Lee	A study of Stewart platform specifications for motion cueing systems.	SMC (4)	2004	DBLP DOI BibTeX RDF
15	Aleksandar Tasic, Wouter A. Serdijn, John R. Long	Optimal distribution of the RF front-end system specifications to the RF front-end circuit blocks.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
15	Fernando Orejas, Elvira Pino	On the Integration of Modular Heterogeneous Specifications.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
15	José Raúl Romero, Antonio Vallecillo	Formalizing ODP Computational Viewpoint Specifications in Maude.	EDOC	2004	DBLP DOI BibTeX RDF
15	M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel	Integrated Notation for Software Architecture Specifications.	SCCC	2004	DBLP DOI BibTeX RDF	software architecture, Architecture definition languages
15	Hemangee K. Kapoor, Mark B. Josephs	Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis.	DAC	2004	DBLP DOI BibTeX RDF	asynchronous logic synthesis, delay-insensitive decomposition
15	Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister	Glass-Box and Black-Box Views on Object-Oriented Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
15	Tim McComb	Refactoring Object-Z Specifications.	FASE	2004	DBLP DOI BibTeX RDF
15	Savas Parastatidis, Jim Webber	Assessing the Risk and Value of Adopting Emerging and Unstable Web Services Specifications.	IEEE SCC	2004	DBLP DOI BibTeX RDF
15	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems.	ECBS	2003	DBLP DOI BibTeX RDF
15	Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	Building SWIFI Tools from Temporal Logic Specifications.	DSN	2003	DBLP DOI BibTeX RDF
15	William B. Gardner	Bridging CSP and C++ with Selective Formalism and Executable Specifications.	MEMOCODE	2003	DBLP DOI BibTeX RDF
15	Ross McKegney, Terry Shepard	Techniques for Embedding Executable Specifications in Software Component Interfaces.	ICCBSS	2003	DBLP DOI BibTeX RDF
15	Jason McDonald, Paul A. Strooper, Daniel Hoffman	Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.	APSEC	2003	DBLP DOI BibTeX RDF
15	Nico Wallmeier, Patrick Hütten, Wolfgang Thomas	Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.	CIAA	2003	DBLP DOI BibTeX RDF
15	Dona D. Mommsen-Ghosh	Deriving Product Specifications for Investment Advisory Services as a First Step Towards Pricing.	HICSS	2003	DBLP DOI BibTeX RDF
15	Stefano Cimmino, Carlo Marchetti, Roberto Baldoni	A Guided Tour on Total Order Specifications.	WORDS Fall	2003	DBLP DOI BibTeX RDF
15	Hong Zhu 0002	A Note on Test Oracles and Semantics of Algebraic Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
15	Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma	Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
15	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-Based Formal Specifications of Component-Based Real-Time Software.	FASE	2003	DBLP DOI BibTeX RDF
15	Andreas Homrighausen, Hans-Werner Six, Mario Winter	Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Round-Trip Prototyping, User Interface Requirements, UML, Requirements engineering, Prototyping, Validation
15	Alexander Perez-Pons	Temporal abstract classes and virtual temporal specifications for real-time systems.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Temporal constraint specification, real-time systems, inheritance
15	Kanna Shimizu, David L. Dill	Using Formal Specifications for Functional Validation of Hardware Designs.	IEEE Des. Test Comput.	2002	DBLP DOI BibTeX RDF
15	Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya	Consistency Analysis of Reconfigurable Dataflow Specifications.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
15	Hassan B. Diab, Marc Frappier, Richard St-Denis	A Formal Definition of Function Points for Automated Measurement of B Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF
15	Aitor Ibarra, José M. Mendías, Juan Lanchares, José Ignacio Hidalgo, Román Hermida	Optimization of Equational Specifications Using Genetic Techniques.	DSD	2002	DBLP DOI BibTeX RDF
15	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
15	Krishnaprasad Thirunarayan, Aaron Berkovich, Dan Z. Sokol	Semi-automatic Content Extraction from Specifications.	NLDB	2002	DBLP DOI BibTeX RDF
15	Jennifer M. Davoren, Thomas Moor, Anil Nerode	Hybrid Control Loops, A/D Maps, and Dynamic Specifications.	HSCC	2002	DBLP DOI BibTeX RDF
15	Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer	An Abductive Approach for Analysing Event-Based Requirements Specifications.	ICLP	2002	DBLP DOI BibTeX RDF
15	Grégory Lestiennes, Marie-Claude Gaudel	Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.	ISSRE	2002	DBLP DOI BibTeX RDF
15	Marcelo Arenas, Wenfei Fan, Leonid Libkin	On Verifying Consistency of XML Specifications. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
15	Meg Murray	An Investigation of Specifications for Migrating to a Web Portal Framework for the Dissemination of Health Information within a Public Health Network.	HICSS	2002	DBLP DOI BibTeX RDF	Healthcare, Web Portal, Public Health
15	Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez	Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.	ICSM	2002	DBLP DOI BibTeX RDF
15	Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi	Execution of TILCO Temporal Logic Specifications.	ICECCS	2002	DBLP DOI BibTeX RDF	real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
15	Reiner Hähnle, Kristofer Johannisson, Aarne Ranta	An Authoring Tool for Informal and Formal Requirements Specifications.	FASE	2002	DBLP DOI BibTeX RDF
15	Bernard Riera 0001	Specifications, Design and Evaluation of an Advanced Human-Adapted Supervisory System.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Dynamic reference model, Ecological interfaces, FDI (fault detection and isolation), Supervisory systems
15	Kwansik Kim, Craig M. Wittenbrink, Alex Pang	Extended Specifications and Test Data Sets for Data Level Comparisons of Direct Volume Rendering Algorithms.	IEEE Trans. Vis. Comput. Graph.	2001	DBLP DOI BibTeX RDF	Metrics, volume visualization, image quality, gradient, opacity, uncertainty visualization, surface classification
15	Girish Keshav Palshikar	Applying Formal Specifications to Real-World Software Development.	IEEE Softw.	2001	DBLP DOI BibTeX RDF
15	Steven Vickers, Gillian Hill	Presheaves as Configured Specifications.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Colimit, Presheaf, Specification, Configuration, Diagram, Category
15	Walter Dosch, Sönke Magnussen	The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.	WADT	2001	DBLP DOI BibTeX RDF