Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs	On the Relationship Between Algebraic Module Specifications and Program Modules.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
19	Egidio Astesiano, Maura Cerioli	Partial Higher-Order Specifications.	MFCS	1991	DBLP DOI BibTeX RDF
19	Stefan Brass, Udo W. Lipeck	Semantice of Inheritance in Logical Object Specifications.	DOOD	1991	DBLP DOI BibTeX RDF
19	József Györkös, Ivan Rozman, Tatjana Welzer	Dynamical system specifications as validation media.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
19	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
19	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
19	Dale A. Brown	Requiring CS1 students to write requirements specifications: a rationale, implementation suggestions, and a case study.	SIGCSE	1988	DBLP DOI BibTeX RDF
19	Donald Sannella, Martin Wirsing	Implementation of Parameterised Specifications (Extended Abstract).	ICALP	1982	DBLP DOI BibTeX RDF
18	Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes	Formal requirements modelling with executable use cases and coloured Petri nets.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Requirements and specifications, Requirements engineering, Model-driven development, Coloured Petri nets, Platform-independent models
18	Chunqing Chen, Jin Song Dong, Jun Sun 0001	Machine-Assisted Proof Support for Validation Beyond Simulink.	ICFEM	2007	DBLP DOI BibTeX RDF	Formal Verification, PVS, Simulink, Real-Time Specifications
18	Graeme Smith 0001, John Derrick	Verifying data refinements using a model checker.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
18	Samira Sadaoui, Pengzhou Yin	Generalization for component reuse.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	generalization, algebraic specifications, reusable component
18	Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron	Filtering TOBIAS Combinatorial Test Suites.	FASE	2004	DBLP DOI BibTeX RDF	VDM, combinatorial testing, JML, model-based specifications
18	Sea Ling, Seng Wai Loke	A formal compositional model of multiagent interaction.	AAMAS	2003	DBLP DOI BibTeX RDF	compositional specifications, petri nets, agent-oriented software engineering, interaction protocols
18	Paul E. Dunne, Michael J. Wooldridge, Michael Laurence	The computational complexity of boolean and stochastic agent design problems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent design problem, computational complexity, task specifications
18	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
18	Christine Choppy, Pascal Poizat, Jean-Claude Royer	A Global Semantics for Views.	AMAST	2000	DBLP DOI BibTeX RDF	mixed specifications, view formalism, global semantics
18	Karl R. P. H. Leung, Wai Wong	Deriving test cases using class vectors.	APSEC	2000	DBLP DOI BibTeX RDF	software test case derivation, class vectors, human decision-making, vector partitions, formal specification, formal specifications, program testing, pattern classification, vectors, trees (mathematics), tree structure, expressive power, classification trees, Cartesian product
18	Zinovy Diskin	On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).	TOOLS (37)	2000	DBLP DOI BibTeX RDF	business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations
18	Laura A. Campbell, Betty H. C. Cheng	Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.	IWSSD	2000	DBLP BibTeX RDF	simulation, formal specifications, design process, Object-oriented modeling, automated analysis
18	Tae Yoneda, Tadashi Ohta	Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services.	ICECCS	2000	DBLP DOI BibTeX RDF	terminal assignment detection, specification design stage, dependability, complex systems, feature interactions, computation time, telecommunication services, telecommunication services, service specifications
18	William E. McUmber, Betty H. C. Cheng	UML-Based Analysis of Embedded Systems Using a Mapping to VHDL.	HASE	1999	DBLP DOI BibTeX RDF	formal specifications, mappings, VHDL, Object-oriented modeling
18	Rym Mili, Ali Mili 0001, Roland T. Mittermeir	Storing and Retrieving Software Conponents: A Refinement Based System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	software components storage and retrieval, refinement ordering, formal specifications, software reuse, Software libraries
18	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems.	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
18	Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili 0001	Retrieving Software Components that Minimize Adaptation Effort.	ASE	1997	DBLP DOI BibTeX RDF	adaptation effort, retrieval procedures, approximate retrieval, library components, functional distance, formal specification, formal specifications, software components, software library
18	K. H. Kim	Toward globally optimal resource management in large-scale real-time distributed computer systems.	FTDCS	1997	DBLP DOI BibTeX RDF	globally optimal resource management, large-scale real-time distributed systems, cost-effective resource allocation, application software components, middleware components, real-time object-oriented forms, fault-tolerant system operations, scheduling, quality-of-service, resource allocation, specifications, component failures, application functions
18	Salwa K. Abd-El-Hafiz, Victor R. Basili	A Knowledge-Based Approach to the Analysis of Loops.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	formal specifications, reverse engineering, knowledge base, program understanding, loops, First order predicate logic
18	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
18	David Gefen, Scott L. Schneberger	The non-homogeneous maintenance periods: a case study of software modifications.	ICSM	1996	DBLP DOI BibTeX RDF	nonhomogeneous software maintenance periods, software modification distribution, costly activity, corrective modification, software improvements, new functions, information system expansion, new applications, software testing, specifications, software maintenance, case study, interviews, software stabilization, information system managers
18	Alan Carle, Lori L. Pollock	Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	translators, attribute grammar, language translation, incremental evaluation, hierarchical specifications
18	Yves Le Traon, Chantal Robach	Testability analysis of co-designed systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
18	Volker Haarslev	Formal Semantics of Visual Languages using Spatial Reasoning.	VL	1995	DBLP DOI BibTeX RDF	qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects
18	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
18	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
18	Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna	A Graphical Interval Logic for Specifying Concurrent Systems.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	automated proof-checking, graphical interval logic, formal specifications, temporal logic, visual languages, concurrent systems, timing diagrams
18	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
18	Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi	Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Logres, Algres, persistent data, declarative requirements, imperative code, formal specification, prototyping, programming environment, programming environments, rapid prototyping, relational algebra, integrity constraints, software prototyping, human errors, data-intensive applications, application specifications, object-oriented data modeling, rule-based programming, database language
18	Toshinori Suzuki, Sol M. Shatz, Tadao Murata	A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
18	C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash 0001, Wei-Tek Tsai	The Evolution Support Environment System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	evolution support environment system, ESE system, integrated support, software architecture configuration, life-cycle configuration, software objects, design, specifications, software development, management, programming environments, interconnections, software components, traceability, code, version control, test cases, semantic information, evolving software system
18	Branislav Meandzija	Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data-driven concurrent execution model, abstract protocol architecture specifications, performance constraints, X.25-level 3-like protocol, protocols, data structures, data structures, natural languages, automatic programming, automatic programming, protocol design, automated design, multiprocessing programs, simulation languages, protocol architectures, specification technique, Archetype
18	Marie-Claude Gaudel, Th. Moineau	A Theory of Software Reusability.	ESOP	1988	DBLP DOI BibTeX RDF	Key-words reuse, PLUSS, formal specifications, modularity, abstract data types
18	Lars A. L. Janssen, Rob H. B. Fey, Bart Besselink, Nathan van de Wouw	Modular Redesign of Mechatronic Systems: Formulation of Module Specifications Guaranteeing System Dynamics Specifications.	CoRR	2024	DBLP DOI BibTeX RDF
18	Adnane Khattabi Riffi	On improving complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications. (Amélioration de complexité d'implémentations linéarisables et wait-free d'objets concurrents en relaxant leurs spécifications).		2023	RDF
18	Arthur Remaud	Utilisation d'outils de TAL pour la compréhension des spécifications de validation de données (Use of NLP tools for automatic comprehension of data validation specifications).	TALN-RECITAL	2021	DBLP BibTeX RDF
18	Sara Houhou	Parameterised Verification from Formal Specifications of Information Systems. (Vérification paramétrée à partir des spécifications formelles des systèmes d'information).		2021	RDF
18	Alexandra Halchin	Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. (Élaboration d'une méthodologie de vérification formelle des spécifications B dans l'Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires).		2021	RDF
18	Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias	An evolutionary approach to translating operational specifications into declarative specifications.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
18	Antoine El-Hokayem	Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques).		2018	RDF
18	Razika Lounas	Validation des spécifications formelles de la mise à jour dynamique des applications Java Card. (Validation of formal specifications for dynamic updates in Java Card applications).		2018	RDF
18	Badr Siala	Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems).		2017	RDF
18	Jean Hergel	Synthesis of fabricable shape from partial specifications. (Synthèse de formes fabricables à partir de spécifications partielles).		2017	RDF
18	Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias	An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.	SBMF	2016	DBLP DOI BibTeX RDF
18	Guillaume Verdier	Variants of acceptance specifications for modular system design. (Variantes de spécifications à ensemble d'acceptation pour la conception modulaire de systèmes).		2016	RDF
18	Hadrien Bride	Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods. (Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution).		2016	RDF
18	Alexandre Isoard	Extending Polyhedral Techniques towards Parallel Specifications and Approximations. (Extension des Techniques Polyedriques vers les Specifications Parallelles et les Approximations).		2016	RDF
18	Dae Hoon Park, ChengXiang Zhai, Lifan Guo	SpecLDA: Modeling Product Reviews and Specifications to Generate Augmented Specifications.	SDM	2015	DBLP DOI BibTeX RDF
18	Munshi Asadullah	Identification of Function Points in Software Specifications Using Natural Language Processing. (Identification des points de fonction dans les spécifications logicielles à l'aide du traitement automatique des langues).		2015	RDF
18	Adrien Basso-Blandin	Gubs, un langage de description comportementale pour la biologie de synthèse : Conception d'un langage dédié à la conception de fonctions biologiques de synthèse par compilation de spécifications comportementales. (Gubs, a behavioral description language for synthetic biology / Gubs, a behavioral description language for synthetic biology : Conception of a domain specific language dedicated to synthetic biology using behavioral specifications compilation).		2014	RDF
18	Ganda Stéphane Ouedraogo	Automatic Synthesis of Hardware Accelerators from High-Level Specifications of Physical Layers for Flexible Radio. (Synthèse automatique d'accélérateurs matériels depuis des spécifications de haut niveau de formes d'ondes pour la radio flexible).		2014	RDF
18	Thomas Carle	Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. (Efficient compilation of embedded control specifications with complex functional and non-functional properties).		2014	RDF
18	Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen	Leveraging specifications of subcomponents to mine precise specifications of composite components.	WCRE	2013	DBLP DOI BibTeX RDF
18	Pierre-Nicolas Tollitte	Extraction de code fonctionnel certifié à partir de spécifications inductives. (Extraction of Certified Functional Code from Inductive Specifications).		2013	RDF
18	Faqing Yang	A Simulation Framework for the Validation of Event-B Specifications. (Un environnement de simulation pour la validation de spécifications B événementiel).		2013	RDF
18	Zhijian Wang 0002, Wenrui Li, Pengcheng Zhang	Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications.	Int. J. Softw. Eng. Knowl. Eng.	2012	DBLP DOI BibTeX RDF
18	Daniel Matichuk, Toby C. Murray	Extensible Specifications for Automatic Re-use of Specifications and Proofs.	SEFM	2012	DBLP DOI BibTeX RDF
18	Boulbaba Ben Ammar	Contribution à l'ingénierie des systèmes : Raffinement et Refactoring de spécifications UML. (Contribution to the Systems Engineering: Refinement and Refactoring of UML specifications).		2012	RDF
18	Gunter Mussbacher, Jörg Kienzle, Daniel Amyot	Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications.	MoDRE	2011	DBLP DOI BibTeX RDF
18	Holger Funke	Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based Way.	ICST Workshops	2011	DBLP DOI BibTeX RDF
18	Mário S. Alvim	Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications. (Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications).		2011	RDF
18	Matthias P. Krieger	Test generation and animation based on object-oriented specifications. (Génération de tests et animation à partir de spécifications orientées objet).		2011	RDF
18	Abderrahman Matoussi	Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals).		2011	RDF
18	Hong-Viet Luong	Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification. (Incremental Construction of Specifications of Critical Systems integrating Verification Procedures).		2010	RDF
18	Min Zhang 0002, Kazuhiro Ogata 0001	Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications.	QSIC	2009	DBLP DOI BibTeX RDF
18	Masaki Nakamura 0001, Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi	A Specification Translation from Behavioral Specifications to Rewrite Specifications.	IEICE Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF
18	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal Automated Transformation of SDL Specifications to Estelle Specifications.	CATA	2008	DBLP BibTeX RDF
18	Nicolas Arnaud	Fiabiliser la réutilisation des patrons par une approche orientée complétude, variabilité et généricité des spécifications. (Reliability of pattern reuse through completeness, variability and genericity of specifications).		2008	RDF
18	Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino	Deriving protocol specifications from service specifications written as Predicate/Transition-nets.	Comput. Networks	2007	DBLP DOI BibTeX RDF
18	Benjamin Zeiss, Diana Vega, Ina Schieferdecker, Helmut Neukirchen, Jens Grabowski	Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications.	Software Engineering	2007	DBLP BibTeX RDF
18	Sébastien Labbé 0002	Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles. (Slicing Communicating Automata Specifications: Polynomial Algorithms for Model Reduction).		2007	RDF
18	Delphine Longuet	Test à partir de spécifications axiomatiques. (Testing from axiomatic specifications).		2007	RDF
18	Flavio Corradini, Paola Inverardi, Alexander L. Wolf	On relating functional specifications to architectural specifications: A case study.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
18	Raija Halonen	Enabling or Disabling with Old Specifications - A New Information System Based on Old Specifications.	ICEIS (3)	2006	DBLP BibTeX RDF
18	Akram Idani	B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments).		2006	RDF
18	Frédéric Gervais	Combinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems).		2006	RDF
18	Hazem El-Gendy, Nabil El-Kadhi	Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications.	Int. J. Softw. Eng. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
18	Divya Jani, Damien Vanderveken, Dewayne E. Perry	Deriving Architecture Specifications from KAOS Specifications: A Research Case Study.	EWSA	2005	DBLP DOI BibTeX RDF
18	Yamine Aït Ameur, Benoit Breholée, Patrick Girard 0002, Laurent Guittet, Francis Jambon	Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
18	Bernard Genevès	Vers des spécifications formelles : Fondements Mathématiques et Informatiques pour la Géométrie Dynamique. (Toward Formal Specifications: Mathematical and Computational Foundations for Dynamic Geometry).		2004	RDF
18	Menouer Boubekeur	Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools).		2004	RDF
18	Dorian Petit	Génération automatique de composants logiciels sûrs à partir de spécifications formelles B. (Automatic generation of reliable components from B formal specifications).		2003	RDF
18	Marie-Laure Potet	Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. (Formal specifications and developments: a study of compositional aspects in the B-method).		2002	RDF
18	Francisco José Galán, José Miguel Cañete	Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
18	Adel Mahfoudhi, Mourad Abed, Dimitri Tabary	From the Formal Specifications of Users Tasks to the Automatic Generation of the HCI Specifications.	BCS HCI/IHM	2001	DBLP DOI BibTeX RDF
18	Nicolas Zuanon	Test de spécifications de services de télécommunication. (Testing telecommunication feature specifications).		2000	RDF
18	Monika Kapus-Kolar	Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis
18	Alain Cougoulic	Simulation de spécifications d'applications de gestion de réseaux de télécommunications. (Simulation of management applications specifications of telecommunication networks).		1999	RDF
18	Giovanna Di Marzo Serugendo	Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne.		1999	RDF
18	Nancy G. Leveson	Intent Specifications: An Approach to Building Human-Centered Specifications.	ICRE	1998	DBLP DOI BibTeX RDF
18	Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez	Transformation of estelle specifications to lotos specifications.	CATA	1998	DBLP BibTeX RDF
18	Hazem El-Gendy, Hoda Baraka	Transformation of Lotos specifications to Estelle specifications.	ISCC	1997	DBLP DOI BibTeX RDF