The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for obj with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1990 (15) 1991-1998 (27) 1999 (24) 2000 (23) 2001-2002 (39) 2003 (29) 2004 (33) 2005 (30) 2006 (22) 2007 (23) 2008 (20) 2014-2023 (15)
Publication types (Num. hits)
article(242) incollection(2) inproceedings(55) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 50 keywords

Results
Found 300 publication records. Showing 300 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
97Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
97María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas Improving On-Demand Strategy Annotations. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
79Peter D. Mosses Constructive Action Semantics in OBJ. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
79Martin Plümicke Polymorphism in OBJ-P. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
70Masaki Nakamura 0001, Kokichi Futatsugi On Equality Predicates in Algebraic Specification Languages. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Xueyan Tang, Samuel T. Chanson Optimal Hash Routing for Web Proxies. Search on Bibsonomy ICDCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri Modular Algebraic Nets to Specify Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF distributed systems, Formal specification, Petri nets, environments, compositionality, OBJ
62Wolfgang A. Halang, Bernd J. Krämer Safety Assurance in Process Control. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
53Martin Plümicke OBJ-P: the polymorphic extension of OBJ-3. Search on Bibsonomy 1999   RDF
53Ataru T. Nakagawa, Kokichi Futatsugi Software Process à la Algebra: OBJ for OBJ. Search on Bibsonomy ICSE The full citation details ... 1990 DBLP  BibTeX  RDF
53Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer 0001 Principles of OBJ2. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF OBJ, OBJ
53Matt Webster, Grant Malcolm Detection of metamorphic computer viruses using algebraic specification. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44José Meseguer 0001 From OBJ to Maude and Beyond. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserman OBJ CUT. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Claude Kirchner, Hélène Kirchner, José Meseguer 0001 Operational Semantics of OBJ-3 (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
43D. H. H. Yoon A survey of system design methodologies. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF system design methodologies, functional system design, process-based system design, object-oriented system design, net-based system design, graphical design tools, interactive system design tool, OBJ-NET, systems analysis, complex systems, open system, design languages, control software
43Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore Formal Specification and Design Time Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
35María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda A Modular Equational Generalization Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Jürgen Giesl, Aart Middeldorp Innermost Termination of Context-Sensitive Rewriting. Search on Bibsonomy Developments in Language Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Bernhard Gramlich, Salvador Lucas Modular termination of context-sensitive rewriting. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
27Zhiyi Li, Lihe Ding, Tianfan Xue Obj-NeRF: Extract Object NeRFs from Multi-view Images. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Wael Mahmood, Ahmed Mohammed Performance of ANN and M5P-tree to forecast the compressive strength of hand-mix cement-grouted sands modified with polymer using ASTM and BS standards and evaluate the outcomes using SI with OBJ assessments. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Ertugrul Bayraktar, Yiming Wang 0002, Alessio Del Bue Fast re-OBJ: real-time object re-identification in rigid scenes. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Ruijun Li, Weihua Li 0007, Yi Yang 0036, Quan Bai Obj-SA-GAN: Object-Driven Text-to-Image Synthesis with Self-Attention Based Full Semantic Information Mining. Search on Bibsonomy PRICAI (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Vaibhav Bansal, Stuart James, Alessio Del Bue re-OBJ: Jointly Learning the Foreground and Background for Object Instance Re-identification. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Canwen Xu, Zhenzhong Chen, Chenliang Li Obj-GloVe: Scene-Based Contextual Object Embedding. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Vaibhav Bansal, Stuart James, Alessio Del Bue re-OBJ: Jointly Learning the Foreground and Background for Object Instance Re-identification. Search on Bibsonomy ICIAP (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Sunghun Jo, Yuna Jeong, Sungkil Lee 0002 GPU-Driven Scalable Parser for OBJ Models. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Branislav Mados, Anton Baláz, Norbert Ádám, Ján Hurtuk Information Hiding into OBJ Format File Using Vector Steganography Techniques. Search on Bibsonomy SACI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27José Francisco Gutiérrez The Obj-Subj Dialectic and the Co-Construction of Hierarchical Positional Identities During a Collaborative Generalization Task. Search on Bibsonomy ICLS The full citation details ... 2016 DBLP  BibTeX  RDF
27Aidan L. Possemiers, Ickjai Lee Fast OBJ file importing and parsing in CUDA. Search on Bibsonomy Comput. Vis. Media The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Aidan L. Possemiers, Ickjai Lee Parallel Importing of OBJ Meshes in CUDA. Search on Bibsonomy PG (Short Papers) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Filip Biljecki, Ken Arroyo Ohori Automatic Semantic-preserving Conversion Between OBJ and CityGML. Search on Bibsonomy UDMV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Shin Nakajima 0001 Everlasting Challenges with the OBJ Language Family. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27K. O. Wilander Soundness in verification of algebraic specifications with OBJ. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Prisadarng Skolpadungket, Keshav P. Dahal, Napat Harnpornchai Portfolio optimization using multi-obj ective genetic algorithms. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jacek Chrzaszcz, Jean-Pierre Jouannaud From OBJ to ML to Coq. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. Search on Bibsonomy ICRA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas Abstract Correction of OBJ-like Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
27María Alpuente, Santiago Escobar 0001, Salvador Lucas Correct and Complete (Positive) Strategy Annotations for OBJ. Search on Bibsonomy WRLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Salvador Lucas Termination of On-Demand Rewriting and Termination of OBJ Programs. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Duncan S. Neary, Martin R. Woodward Visualisation of the OBJ Term Re-writing Process. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Oskar von Dungern Nachvollziehbare obj ektorientierte Software-Entwicklung in der Praxis: Prozeß und Organisation. Search on Bibsonomy Informationstechnik Tech. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27D. H. H. Yoon, Qiang Zhu 0001, V. Mohanram, J. Cheng OBJ-NET: An Object Oriented System Design Tool. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Timothy C. Winkler Programming in OBJ and Maude. Search on Bibsonomy Functional Programming, Concurrency, Simulation and Automated Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Isabelle Gnaedig ELIOS-OBJ Theorem Proving in a Specification Language. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi Specifications of a general user interface in LOTOS and OBJ. Search on Bibsonomy COMPSAC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi A LOTOS Simulator in OBJ. Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
27Robin M. Gallimore, Derek Coleman, Victoria Stavridou UMIST OBJ: A Language for Executable Program Specifications. Search on Bibsonomy Comput. J. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27R. N. Shutt A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. Search on Bibsonomy ESEC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer 0001, Timothy C. Winkler An Introduction to OBJ 3. Search on Bibsonomy CTRS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27Giancarlo Mauri OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
27Joseph A. Goguen, José Meseguer 0001 Rapid prototyping: in the OBJ executable specification language. Search on Bibsonomy Rapid Prototyping The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
27Joseph A. Goguen Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. Search on Bibsonomy Mathematical Studies of Information Processing The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
27Terry Coatta Only Code Has Value? Search on Bibsonomy ACM Queue The full citation details ... 2007 DBLP  DOI  BibTeX  RDF experience, software, development, system, obj, factory
27Shin Nakajima 0001, Kokichi Futatsugi An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ
20Jérémy Dubus, Areski Flissi, Nicolas Dolet, Philippe Merle Une démarche orientée modèle pour déployer des systèmes logiciels répartis. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Jérôme Lacouture, Philippe Aniorté Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Pascal André, J. Christian Attiogbé Éditorial. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  BibTeX  RDF
20Yoann Kubera, Philippe Mathieu, Sébastien Picault Formalisation et implémentation des interactions pour la simulation centrée individu. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Pierre Parrend, Stéphane Frénot Vérification automatique pour l'exécution sécurisée de composants Java. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Nicolas Anquetil, Joost Noppen, Ismênia Galvão La traçabilité dans les lignes de produits logiciels. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Cédric Williamson Les fabriques logicielles. De l'appréhension à l'implémentation active, un marché en devenir pour les technologies. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Inès Mouakher, Jeanine Souquières, Francis Alexandre Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Bart George, Régis Fleurquin, Salah Sadou, Houari A. Sahraoui Un mécanisme de sélection de composants logiciels. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Jean-Marc Jézéquel, Gilles Perrouin Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Stéphane S. Somé, Pauline Anthonysamy Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Nicolas Anquetil, Hugo Arboleda, F. de Alexandria Fernandes, Angel Núñez, Jean-Claude Royer Lignes de produits logiciels et usines logicielles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Sylvain Chardigny, Abdelhak-Djamel Seriai, Mourad Chabane Oussalah, Dalila Tamzalit Extraction d'une architecture à base de composants depuis un système orienté objet. Une approche dirigée par les propriétés de qualité. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou Vérification formelle d'architectures logicielles à base d'UML. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Marianne Simonot, Maria-Virginia Aponte Une approche formelle de la reconfiguration dynamique. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali Spécification et vérification d'un ordonnanceur en B via les automates temporisés. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Guilaine Talens, Danielle Boulanger Vues et points de vue dans un système objet de base de connaissances. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Antoine Beugnard Éditorial. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  BibTeX  RDF
20M. K. Abdi, Hakim Lounis, Houari A. Sahraoui, Maher K. Rahmouni Vers une approche d'analyse de l'impact du changement dans un système à objets. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Régis Fleurquin, Chouki Tibermacine Une assistance pour l'évolution des logiciels à base de composants. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Eveline Kaboré, Antoine Beugnard Automatisation d'un processus de conception par transformations de modèles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel SéMo'07, premier atelier sur la sémantique des modèles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Nassima Sadou, Dalila Tamzalit, Mourad Chabane Oussalah SAEV, une solution à l'évolution structurelle dans les architectures logicielles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Gautier Bastide, Abdelhak-Djamel Seriai, Mourad Chabane Oussalah Restructuration de composants logiciels. Une approche d'adaptation structurelle de composants logiciels monolithiques basée sur leur refactorisation. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Jean Lieber, Amedeo Napoli La représentation de points de vue dans le système d'aide à la décision en cancérologie KASIMIR. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun 0001, Sébastien Gérard Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Ouafa Hachani, Daniel Bardou, Jean-Pierre Giraudin Evolution de patrons de conception Objet en patrons Aspect. Une approche par métamodélisation et transformation de modèles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Cédric Dumoulin, Anne Etien Morphing de métamodèles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Pierre-André Caron, Mireille Blay-Fornarino, Xavier Le Pallec La contextualisation de modèles, une étape indispensable à un développement dirigé par les modèles ? Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Dolores Diaz, Lionel Seinturier, Laurence Duchien, Pascal Flament Une aide à la réalisation des évolutions logicielles grâce aux modèles de traçabilité des fonctionnalités. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile Vers une approche à base de règles pour la composition de modèles. Application au profil VUML. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Olivier Barais, Philippe Lahire, Alexis Muller, Noël Plouzeau, Gilles Vanwormhoudt Evaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Olivier Caron, Bernard Carré, Alexis Muller Programmation par objets structurée en contextes. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Steffen Becker 0001, Ralf H. Reussner The Impact of Software Component Adaptation on Quality of Service Properties. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Massimo Tivoli, Marco Autili SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Carlos Canal, Juan Manuel Murillo, Pascal Poizat Software Adaptation. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Pascal Fradet, Stéphane Hong Tuan Ha Systèmes de gestion de ressources et aspects de disponibilité. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Günter Kniesel, Tobias Rho A Definition, Overview and Taxonomy of Generic Aspect Languages. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Simon Denier, Pierre Cointe Expression and Composition of Design Patterns with AspectJ. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Hervé Chang, Philippe Collet Négociation de contrats, des systèmes multi-agents aux composants logiciels. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Farida Mostefaoui, Julie Vachon Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects. Search on Bibsonomy Obj. Logiciel Base données Réseaux The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 300 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license