|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11964 occurrences of 4176 keywords
|
|
|
Results
Found 15043 publication records. Showing 15043 according to the selection in the facets
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 |
|
|
|