|
|
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 | 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 |
|
Displaying result #501 - #600 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|