Search results for "specification techniques"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Benjamin Braatz, Markus Klein, Gunnar Schröter	Semantical Integration of Object-Oriented Viewpoint Specification Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
3	Jean-Michel Bruel	Integrating Formal and Informal Specification Techniques. Why? How?	WIFT	1998	DBLP DOI BibTeX RDF
3	Anthony Hall	What Does Industry Need From Formal Specification Techniques? (PDF / PS)	WIFT	1998	DBLP DOI BibTeX RDF
2	Hartmut Ehrig	Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
2	Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder	Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
2	Ernst-Erich Doberkat	Tracing Relations Probabilistically.	RelMiCS	2003	DBLP DOI BibTeX RDF	Probabilistic relations, specification techniques (nondeterministic, stochastic), representation theory
2	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
2	Peter Bielkowicz, Thein Than Tun	A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process.	CAiSE	2001	DBLP DOI BibTeX RDF
2	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
2	Murari Sridharan, Srinivasan Ramasubramanian, Arun K. Somani	HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Frank Weil	WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe.	WIFT	1998	DBLP DOI BibTeX RDF
2	Mark R. Blackburn, Robert Busser	Requirements for Industrial-Strength Formal Method Tools.	WIFT	1998	DBLP DOI BibTeX RDF
2	Robert B. France, Maria M. Larrondo-Petrie	Understanding the Role of Formal Specification Techniques in Requirements Engineering.	CSEE	1995	DBLP DOI BibTeX RDF
2	Faouzi Boufarès, Faïez Gargouri, Naoufel Kraïem	On the integration of heterogeneous methods for complex applications.	ICECCS	1995	DBLP DOI BibTeX RDF	heterogeneous methods integration, complex applications, information system modeling, open ordering, transformation scheme, standardization, systems analysis, meta models, standardisation, specification techniques
2	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
2	Georg Lausen	Modeling and Analysis of the Behavior of Information Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
1	Luay A. Wahsheh	An Analysis of Security Policy Specification Techniques.	Security and Management	2010	DBLP BibTeX RDF
1	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
1	Gaurav Bhatia, Yupeng Fu, Keith Kowalczykowski, Kian Win Ong, Kevin Keliang Zhao, Alin Deutsch, Yannis Papakonstantinou	FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms.	WebDB	2009	DBLP BibTeX RDF
1	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
1	Zekai Demirezen	Semantic framework for DSLs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model checking, domain-specific languages, operational semantics, activity diagram, graph transformation systems
1	Charlene Elliott, Gary Marsden, Marion Walton, Edwin H. Blake	Design notations for creating virtual environments.	SAICSIT Conf.	2009	DBLP DOI BibTeX RDF	design notation, virtual reality, game design, visual formalism
1	Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter	A Diagrammatic Formalisation of MOF-Based Modelling Languages.	TOOLS	2009	DBLP DOI BibTeX RDF	Meta-Object Facility, Eclipse Modeling Framework, Diagram Predicate Framework, diagrammatic specification, Unified Modeling Language, Model-Driven Engineering, Object Constraint Language
1	Iwan Vosloo, Derrick G. Kourie	Server-centric Web frameworks: An overview.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	user interfaces, Architecture, specification techniques, web frameworks
1	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Formal methods, Testing and Debugging, Specification techniques
1	Westley Weimer, Nina Mishra	Privately Finding Specifications.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy
1	Lichen Zhang, Lihua Wang	Aspect-oriented formal specification for multimedia systems.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
1	Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag	A Framework for Simulation Models of Service-Oriented Architectures.	SIPEW	2008	DBLP DOI BibTeX RDF	Process Chains, Simulation, Service-Oriented Architectures, OMNeT++
1	Iakovos Ouranos, Petros S. Stefaneas	Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.	CAI	2007	DBLP DOI BibTeX RDF	Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ
1	Dominikus Herzberg, Nicola Marsden, Corinna Leonhardt, Peter Kübler, Hartmut Jung, Sabine Thomanek, Annette Becker	Using Formal Specification Techniques for Advanced Counseling Systems in Health Care.	USAB	2007	DBLP DOI BibTeX RDF	Human-Computer Interaction in Health Care, Counseling Systems, Formal Methods, Usability Engineering
1	Iftikhar Shah, Mike Tedd	A Comparison of Interface Specification Techniques.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Christian Attiogbé, Pascal Poizat, Gwen Salaün	A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, tools, languages, operational semantics, state diagrams, integrated environments, specification techniques
1	Manfred Broy, Ingolf H. Krüger, Michael Meisinger	A formal model of services.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	assumption/commitment specifications, software architecture, Components, services, service engineering
1	Sudhir Agarwal	A Goal Specification Language for Automated Discovery and Composition of Web Services.	Web Intelligence	2007	DBLP DOI BibTeX RDF
1	John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter	Formal Techniques for Java-Like Programs.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	Amir A. Khwaja, Joseph E. Urban	A Framework for the Evaluation of Real-time Specification Techniques.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	Johannes Maria Zaha, Antonia Albani	Compatibility Test for Coordination Aspects of Software Components.	ASWEC	2006	DBLP DOI BibTeX RDF
1	C. J. Michael Geisterfer, Sudipto Ghosh	Software Component Specification: A Study in Perspective of Component Selection and Reuse.	ICCBSS	2006	DBLP DOI BibTeX RDF	component based development, component reuse, component selection, component specification
1	Mouad Ben Mamoun, Nihal Pekergin, Sana Younès	Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.	QEST	2006	DBLP DOI BibTeX RDF
1	Bastian Dolle	Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.	SNPD	2006	DBLP DOI BibTeX RDF
1	Jürgen Teich, Stefanos Kaxiras, Toomas P. Plaks, Krisztián Flautner	Topic 18: Embedded Parallel Systems.	Euro-Par	2006	DBLP DOI BibTeX RDF
1	Zhen-ming Yuan, Liang Zhang, Hong Pan	Sketch Case Based Spatial Topological Data Retrieval.	PCM	2006	DBLP DOI BibTeX RDF	SVM, ICA, Data Retrieval, Topological Invariant
1	Hartmut Ehrig, Benjamin Braatz, Markus Klein	Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen").	it - Information Technology	2005	DBLP DOI BibTeX RDF
1	Steven P. Reiss	Specifying and checking component usage.	AADEBUG	2005	DBLP DOI BibTeX RDF	verification, specifications, components, automata, flow analysis, finite-state
1	Juan Manuel Serrano, Sascha Ossowski	A semantic framework for the recursive specification of interaction protocols.	SAC	2005	DBLP DOI BibTeX RDF	recursive definitions, standards for agents and MAS, interaction protocols, agent-based software engineering, agent communication languages and protocols, organisational models
1	Bastian Dolle, Walter Dosch	Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.	APSEC	2005	DBLP DOI BibTeX RDF
1	Gergely Varró, Andy Schürr, Dániel Varró	Benchmarking for Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.	SELMAS	2005	DBLP DOI BibTeX RDF
1	Liliana Favre	Well-Founded Metamodeling for Model-Driven Architecture.	SOFSEM	2005	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
1	David Kinny	Algebraic specification of agent computation.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
1	Hartmut Ehrig	Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).	Bulletin of the EATCS	2004	DBLP BibTeX RDF
1	Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report	SoftSpez Final Report	2004	DBLP BibTeX RDF
1	Fernando Orejas, Elvira Pino	On the Integration of Modular Heterogeneous Specifications.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Werner Damm, Bernd Westphal	Introduction to Subject Area 'Charts'.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel	A Formal Component Concept for the Specification of Industrial Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika	"UML-ising' Formal Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Formal Verification of LSCs in the Development Process.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif	Combining Formal Methods and Safety Analysis - The ForMoSA Approach.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy	Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Karol Rástocný, Ales Janota, Jirí Zahradník	The Use of UML for Development of a Railway Interlocking System.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Kurt Jensen	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair	A Guide to Modelling and Control with Modules of Signal Nets.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Eckehard Schnieder	Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg	Verification of PLC Programs Given as Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	Model Checking, Analysis, Automata, Logic Control
1	Paul Valckenaers	Challenges of Next Generation Manufacturing Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell	A Unifying Semantics for Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Introduction to Subject Area "Verification".	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	David Harel, Hillel Kugler	The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Martin Große-Rhode	On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
1	Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska	Executable HybridUML and Its Application to Train Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Stefan Einer	STOP - Specification Technique of Operational Processes.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes	An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Jörg Desel	Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel	Modeling and Formal Verification of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Engelbert Westkämper, Matthias Bengel, Katja Fischer	Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser	Conceptual Design of an Engineering Model for Product and Plant Automation.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Ana R. Cavalli, Stéphane Maag	Automated test scenarios generation for an e-barter system.	SAC	2004	DBLP DOI BibTeX RDF	formal methods, e-commerce, testing tools, specification techniques
1	Schahram Dustdar, Pascal Fenkam	Formally Designing Web Services for Mobile Team Collaboration.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Tommaso Bolognesi	A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages.	ICECCS	2004	DBLP DOI BibTeX RDF
1	Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam	VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Florian Kammüller, Jeff W. Sanders	Heuristics for Refinement Relations.	SEFM	2004	DBLP DOI BibTeX RDF
1	Crescencio Bravo, Jesús Gallardo, Beatriz García-Minguillán, Miguel A. Redondo	Using Specifications to Build Domain-Independent Collaborative Design Environments.	CDVE	2004	DBLP DOI BibTeX RDF
1	Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li	Modeling Role-Based Access Control Using Parameterized UML Models.	FASE	2004	DBLP DOI BibTeX RDF
1	Johannes Maria Zaha, Marco Geisenberger, Martin Groth	Compatibility Test and Adapter Generation for Interfaces of Software Components.	ICDCIT	2004	DBLP DOI BibTeX RDF	Compatibility test, adapter generation, software reuse, software component, IDL
1	Daniel Moldt, Sven Offermann, Jan Ortmann	A Proposal for Petri Net Based Web Service Application Modeling.	ICWE	2004	DBLP DOI BibTeX RDF
1	Kevin Lano, David Clark, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
1	Johannes Maria Zaha	Automated Compatibility Tests for Business Related Aspects of Software Components.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Compatibility test, software reuse, software components
1	Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen	A component framework for system modeling based on high-level replacement systems.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Petri nets, Components, Formal semantics, Generic framework
1	Roswitha Bardohl, Hartmut Ehrig	Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Johan Schubert	Cluster-based Specification Techniques in Dempster-Shafer Theory for an Evidential Intelligence Analysis of MultipleTarget Tracks (Thesis Abstract)	CoRR	2003	DBLP BibTeX RDF
1	Johan Schubert	Cluster-based Specification Techniques in Dempster-Shafer Theory	CoRR	2003	DBLP BibTeX RDF
1	Norah Power, Tony Moynihan	A theory of requirements documentation situated in practice.	SIGDOC	2003	DBLP DOI BibTeX RDF	framework, requirements, documents, practice, situations
1	Michael Johnson, Christopher N. G. Dampney	Experience in developing interoperations among legacy information systems using partial reverse engineering.	ICSM	2003	DBLP DOI BibTeX RDF	databases, formal methods, interoperations, reverse engineering, Category theory, semantic data modelling