Search results for "specifications"

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