|
|
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 |
19 | Nathalie Bertrand 0001, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
A Compositional Approach on Modal Specifications for Timed Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
19 | David Lo 0001, Shahar Maoz |
Mining scenario-based specifications with value-based invariants. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
value-based invariants, live sequence charts, specification mining |
19 | Min Wu, Gangfeng Yan, Zhiyun Lin, Ying Lan |
Synthesis of output feedback control for motion planning based on LTL specifications. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng |
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Domann, Elmar Jürgens, Jonathan Streit |
The curse of copy&paste Cloning in requirements specifications. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic |
From system specifications to component behavioral models. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Yates, James Joseph, Ana-Maria Popescu, Alexander D. Cohn, Nick Sillick |
SHOPSMART: product recommendations through technical specifications and user reviews. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
personalization, e-commerce, recommendation |
19 | Hao Zhong 0001, Lu Zhang 0023, Hong Mei 0001 |
Inferring Specifications of Object Oriented APIs from API Source Code. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Farhad Arbab, Sun Meng |
Synthesis of Connectors from Scenario-Based Interaction Specifications. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata |
19 | Salamah Salamah, Ann Q. Gates |
A Technique for Using Model Checkers to Teach Formal Specifications. |
CSEE&T |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo |
Alchemy: transmuting base alloy specifications into implementations. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
relational specification, program synthesis, alloy |
19 | David Lo 0001 |
Mining specifications in diversified formats from execution traces. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Abdolmajid Mousavi, Behrouz H. Far |
Revisiting Safe Realizability of Message Sequence Charts Specifications. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | M. Schacher |
Integrated Enterprise Modelling Based on OMG Specifications. |
EDOC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre L. Correa, Cláudia M. L. Werner |
Refactoring object constraint language specifications. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
Verification of Automatically Generated Pattern-Based LTL Specifications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jordi Cabot |
From Declarative to Imperative UML/OCL Operation Specifications. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Weiming Wang, Ligang Dong, Bin Zhuge, Ming Gao, Fenggen Jia, Rong Jin, Jin Yu, Xiaochun Wu |
Design and Implementation of an Open Programmable Router Compliant to IETF ForCES Specifications. |
ICN |
2007 |
DBLP DOI BibTeX RDF |
open programmable, protocol, router, ForCES |
19 | Daniel Plagge, Michael Leuschel |
Validating Z Specifications Using the ProBAnimator and Model Checker. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Te-Hua Wang, Neil Y. Yen, Yue-Lin Du, Timothy K. Shih |
Courseware Authoring Tool for Achieving Interoperability among Various E-Learning Specifications Based on Web 2.0 Technologies. |
ICPP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas |
Producing a Global Requirement Model from Multiple Requirement Specifications. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jianxin Chen, Guangcheng Xi, Yanwei Xing, Jing Chen, Jie Wang |
Predicting Syndrome by NEI Specifications: A Comparison of Five Data Mining Algorithms in Coronary Heart Disease. |
LSMS (2) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Gaurav Singh 0006, Sandeep K. Shukla |
Low-power hardware synthesis from TRS-based specifications. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis |
Checking the Conformance of Java Classes Against Algebraic Specifications. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Michael Prasse |
Let's Modularize the Data Model Specifications of the ObjectLens in VisualWorks/Smalltalk. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
ObjectLens, VisualWorks, OR-Mapping, Design Pattern, Generative Programming, Smalltalk, Software Product Families |
19 | Sébastien Labbé 0002, Arnault Lapitre |
CARVER: A Slicing Tool for Communicating Automata Specifications. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jan A. Bergstra, John V. Tucker |
Elementary Algebraic Specifications of the Rational Complex Numbers. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jörg Leukel, Martin Hepp, Volker Schmitz, Christoph Tribowski |
Ontologizing B2B Message Specifications: Experiences from Adopting the PLIB Ontology for Commercial Product Data. |
ICEBE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Varun Aggarwal, Wesley O. Jin, Una-May O'Reilly |
Filter approximation using explicit time and frequency domain specifications. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
particle swarm optimization, filter design |
19 | Félix Buendía, Antonio Hervás Jorge |
An Evaluation Framework for e-Learning Platforms Based on Educational Standard Specifications. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Bollin |
Crossing the Borderline - From Formal to Semi-Formal Specifications. |
SET |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Edoardo Bontà, Marco Bernardo 0001, Jeff Magee, Jeff Kramer |
Synthesizing Concurrency Control Components from Process Algebraic Specifications. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Tao Xie 0001 |
Improving Effectiveness of Automated Software Testing in the Absence of Specifications. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Cory Plock, Benjamin Goldberg, Lenore D. Zuck |
From Requirements to Specifications. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
Consistency of XML Specifications. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ambar A. Gadkari, S. Ramesh 0002 |
Automated Synthesis of Assertion Monitors using Visual Specifications. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting |
Symbolic Animation of JML Specifications. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Steven P. Reiss |
Tool Demonstration: CHET: Checking Specifications in Java Systems. |
IWPC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jun Hu, Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Xuandong Li, Guoliang Zheng |
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
embedded software designs, real-time systems, model checking, UML sequence diagrams, interface automata |
19 | Shrideep Pallickara, Geoffrey C. Fox, Sangmi Lee Pallickara |
An Analysis of Reliable Delivery Specifications for Web Services. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
guaranteed delivery, ordered delivery, WS-Reliability, WS-ReliableMessaging and fault tolerance |
19 | Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng |
Consistency Checking of Concurrent Models for Scenario-Based Specifications. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mario Antonioletti, Amy Krause, Norman W. Paton |
An Outline of the Global Grid Forum Data Access and Integration Service Specifications. |
DMG |
2005 |
DBLP DOI BibTeX RDF |
DAIS, Databases, Grid, Data, OGSA-DAI |
19 | Toni Mancini, Marco Cadoli |
Detecting and Breaking Symmetries by Reasoning on Problem Specifications. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving tabular event-based specifications from goal-oriented requirements models. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR |
19 | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou |
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification |
19 | Kalpesh Zinjuwadia, Perry Alexander |
DVTG and Test Harnessing using Rosetta Specifications. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Rosetta, DVTG, Test Initialization, Test Harnessing, XML, Test Vectors, Test Requirements, Test Scenarios |
19 | Hubert Baumeister |
Combining Formal Specifications with Test Driven Development. |
XP/Agile Universe |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Cleenewerck, Krzysztof Czarnecki 0001, Jörg Striegnitz, Markus Völter |
Evolution and Reuse of Language Specifications for DSLs (ERLS). |
ECOOP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness |
19 | Sayantan Das 0001, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix, Roy Armoni |
Formal verification coverage: computing the coverage gap between temporal specifications. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Marco Cadoli, Toni Mancini |
Exploiting Functional Dependencies in Declarative Problem Specifications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Marvin B. L. Tan, Angela Goh |
Keeping Pace with Evolving XML-Based Specifications. |
EDBT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Henkel, Amer Diwan |
A Tool for Writing and Debugging Algebraic Specifications. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Felix C. Gärtner, Arshad Jhumka |
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Tim Wahls |
Compiling Formal Specifications to Oz Programs. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi |
Using Simulation for the Validation of High Level Specifications of Control Systems. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
discrete event control systems, multiformalism, simulation, validation |
19 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Paul C. Attie |
On the Implementation Complexity of Specifications of Concurrent Programs. |
DISC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mass Soldal Lund |
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Piotr Hoffman |
Verifying Generative Casl Architectural Specifications. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Einar Broch Johnsen, Olaf Owe |
Composition and Refinement for Partial Object Specifications. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Shaoying Liu |
A Simulation Approach to Verification and Validation of Formal Specifications. |
CW |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Robert Siegmund, Dietmar Müller 0001 |
A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
controller hardware synthesis, interface-based design, protocol specification |
19 | P. Madhusudan, P. S. Thiagarajan |
Distributed Controller Synthesis for Local Specifications. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Bruno Legeard, Fabien Peureux |
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing |
19 | Dusko Pavlovic, Douglas R. Smith |
Composition and Refinement of Behavioral Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
19 | J. Jenny Li, Joseph Robert Horgan |
A Tool Suite for Diagnosis and Testing of Software Design Specifications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing |
19 | Ali E. Abdallah |
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
filter promotion, parallelism, Specification, program transformation, refinement, communicating processes, accumulation |
19 | Sören Balko |
Adaptive Specifications of Technical Information Systems. |
FMLDO |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Michael Fisher 0001 |
Direct Execution of Agent Specifications. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Sophie Coudert, Pascale Le Gall |
A Reuse-Oriented Framework for Hierarchical Specifications. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
formal structured specification, structured inference, typed equational logic, language theory, reuse, proof system, monoid |
19 | Wenhui Zhang |
Validation of Control System Specifications with Abstract Plant Models. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Yusuf Pisan |
Extending requirement specifications using analogy. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
specification-reuse, analogical reasoning |
19 | Pablo Gruer, Vincent Hilaire, Abder Koukam |
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Enrico Tronci |
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Control Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Finite State Systems |
19 | Monica Brockmeyer |
Using Modechart Modules for Testing Formal Specifications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, testing, formal methods, specification |
19 | Angelo Gargantini, Constance L. Heitmeyer |
Using Model Checking to Generate Tests from Requirements Specifications. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Jason McDonald, Paul A. Strooper |
Translating Object-Z Specifications to Passive Test Oracles. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Bharat P. Dave, Niraj K. Jha |
CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
aperiodic task graphs, scheduling, distributed systems, embedded systems, allocation, system synthesis, hardware-software co-synthesis |
19 | Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi |
Visualisation of Executable Formal Specifications for User Validation. |
Services and Visualization: Towards User-Friendly Design |
1998 |
DBLP DOI BibTeX RDF |
|
19 | John Penix, Perry Alexander |
Using Formal Specifications for Component Retrieval and Reuse. |
HICSS (3) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | David Y. W. Park, Jens U. Skakkebæk, David L. Dill |
Static Analysis to Identify Invariants in RSML Specifications. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Bettina Sucrow |
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Paul Mukherjee |
Automatic Translation of VDM-SL Specifications into Gofer. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Steve M. Easterbrook, John R. Callahan |
Formal Methods for V&V of Partial Specifications: An Experience RSeport. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Anthony Hunter, Bashar Nuseibeh |
Analyzing Inconsistent Specifications. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan Lee, Lein F. Lai, Wei T. Huang |
Task-Based Specifications Through Conceptual Graphs. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Shaoying Liu, Chris Ho-Stuart |
Semi-automatic Transformation from Formal Specifications to Programs. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Bellinzona, Maria Grazia Fugini, Barbara Pernici |
Reusing Specifications in OO Applications. |
IEEE Softw. |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Bengt Jonsson 0001, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Collette |
Application of the Composition Principle to Unity-like Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Ferhat Khendek, Gregor von Bochmann |
Formal specifications design, evolution and reuse. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
19 | Arnd Poetzsch-Heffter |
Implementing High-Level Identification Specifications. |
CC |
1992 |
DBLP DOI BibTeX RDF |
|
19 | 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 |
19 | Veronika Doma, Robin A. Nicholl |
EZ: A System for Automatic Prototyping of Z Specifications. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|