Search results for "OBJ"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis	OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.	ALP	1988	DBLP DOI BibTeX RDF
97	María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
79	Peter D. Mosses	Constructive Action Semantics in OBJ.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
79	Martin Plümicke	Polymorphism in OBJ-P.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
70	Masaki Nakamura 0001, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
70	Xueyan Tang, Samuel T. Chanson	Optimal Hash Routing for Web Proxies.	ICDCS	2001	DBLP DOI BibTeX RDF
62	Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri	Modular Algebraic Nets to Specify Concurrent Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	distributed systems, Formal specification, Petri nets, environments, compositionality, OBJ
62	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	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
53	Martin Plümicke	OBJ-P: the polymorphic extension of OBJ-3.		1999	RDF
53	Ataru T. Nakagawa, Kokichi Futatsugi	Software Process à la Algebra: OBJ for OBJ.	ICSE	1990	DBLP BibTeX RDF
53	Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer 0001	Principles of OBJ2.	POPL	1985	DBLP DOI BibTeX RDF	OBJ, OBJ
53	Matt Webster, Grant Malcolm	Detection of metamorphic computer viruses using algebraic specification.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
44	José Meseguer 0001	From OBJ to Maude and Beyond.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
44	M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserman	OBJ CUT.	CVPR (1)	2005	DBLP DOI BibTeX RDF
44	Claude Kirchner, Hélène Kirchner, José Meseguer 0001	Operational Semantics of OBJ-3 (Extended Abstract).	ICALP	1988	DBLP DOI BibTeX RDF
43	D. H. H. Yoon	A survey of system design methodologies.	ECBS	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
43	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
35	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
35	Jürgen Giesl, Aart Middeldorp	Innermost Termination of Context-Sensitive Rewriting.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
35	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
27	Zhiyi Li, Lihe Ding, Tianfan Xue	Obj-NeRF: Extract Object NeRFs from Multi-view Images.	CoRR	2023	DBLP DOI BibTeX RDF
27	Wael 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.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
27	Ertugrul Bayraktar, Yiming Wang 0002, Alessio Del Bue	Fast re-OBJ: real-time object re-identification in rigid scenes.	Mach. Vis. Appl.	2022	DBLP DOI BibTeX RDF
27	Ruijun 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.	PRICAI (1)	2022	DBLP DOI BibTeX RDF
27	Vaibhav Bansal, Stuart James, Alessio Del Bue	re-OBJ: Jointly Learning the Foreground and Background for Object Instance Re-identification.	CoRR	2019	DBLP BibTeX RDF
27	Canwen Xu, Zhenzhong Chen, Chenliang Li	Obj-GloVe: Scene-Based Contextual Object Embedding.	CoRR	2019	DBLP BibTeX RDF
27	Vaibhav Bansal, Stuart James, Alessio Del Bue	re-OBJ: Jointly Learning the Foreground and Background for Object Instance Re-identification.	ICIAP (2)	2019	DBLP DOI BibTeX RDF
27	Sunghun Jo, Yuna Jeong, Sungkil Lee 0002	GPU-Driven Scalable Parser for OBJ Models.	J. Comput. Sci. Technol.	2018	DBLP DOI BibTeX RDF
27	Branislav Mados, Anton Baláz, Norbert Ádám, Ján Hurtuk	Information Hiding into OBJ Format File Using Vector Steganography Techniques.	SACI	2018	DBLP DOI BibTeX RDF
27	José Francisco Gutiérrez	The Obj-Subj Dialectic and the Co-Construction of Hierarchical Positional Identities During a Collaborative Generalization Task.	ICLS	2016	DBLP BibTeX RDF
27	Aidan L. Possemiers, Ickjai Lee	Fast OBJ file importing and parsing in CUDA.	Comput. Vis. Media	2015	DBLP DOI BibTeX RDF
27	Aidan L. Possemiers, Ickjai Lee	Parallel Importing of OBJ Meshes in CUDA.	PG (Short Papers)	2015	DBLP DOI BibTeX RDF
27	Filip Biljecki, Ken Arroyo Ohori	Automatic Semantic-preserving Conversion Between OBJ and CityGML.	UDMV	2015	DBLP DOI BibTeX RDF
27	Shin Nakajima 0001	Everlasting Challenges with the OBJ Language Family.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
27	Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
27	K. O. Wilander	Soundness in verification of algebraic specifications with OBJ.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
27	Prisadarng Skolpadungket, Keshav P. Dahal, Napat Harnpornchai	Portfolio optimization using multi-obj ective genetic algorithms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
27	Jacek Chrzaszcz, Jean-Pierre Jouannaud	From OBJ to ML to Coq.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
27	Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang	3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ.	ICRA	2005	DBLP DOI BibTeX RDF
27	María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas	Abstract Correction of OBJ-like Programs.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
27	María Alpuente, Santiago Escobar 0001, Salvador Lucas	Correct and Complete (Positive) Strategy Annotations for OBJ.	WRLA	2002	DBLP DOI BibTeX RDF
27	Salvador Lucas	Termination of On-Demand Rewriting and Termination of OBJ Programs.	PPDP	2001	DBLP DOI BibTeX RDF
27	Duncan S. Neary, Martin R. Woodward	Visualisation of the OBJ Term Re-writing Process.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
27	Oskar von Dungern	Nachvollziehbare obj ektorientierte Software-Entwicklung in der Praxis: Prozeß und Organisation.	Informationstechnik Tech. Inform.	1998	DBLP DOI BibTeX RDF
27	D. H. H. Yoon, Qiang Zhu 0001, V. Mohanram, J. Cheng	OBJ-NET: An Object Oriented System Design Tool.	J. Syst. Integr.	1998	DBLP DOI BibTeX RDF
27	Timothy C. Winkler	Programming in OBJ and Maude.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
27	Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis	Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
27	Isabelle Gnaedig	ELIOS-OBJ Theorem Proving in a Specification Language.	ESOP	1992	DBLP DOI BibTeX RDF
27	Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi	Specifications of a general user interface in LOTOS and OBJ.	COMPSAC	1991	DBLP DOI BibTeX RDF
27	Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi	A LOTOS Simulator in OBJ.	FORTE	1990	DBLP BibTeX RDF
27	Robin M. Gallimore, Derek Coleman, Victoria Stavridou	UMIST OBJ: A Language for Executable Program Specifications.	Comput. J.	1989	DBLP DOI BibTeX RDF
27	R. N. Shutt	A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools.	ESEC	1989	DBLP DOI BibTeX RDF
27	Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer 0001, Timothy C. Winkler	An Introduction to OBJ 3.	CTRS	1987	DBLP DOI BibTeX RDF
27	Giancarlo Mauri	OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2.	ADT	1986	DBLP BibTeX RDF
27	Joseph A. Goguen, José Meseguer 0001	Rapid prototyping: in the OBJ executable specification language.	Rapid Prototyping	1982	DBLP DOI BibTeX RDF
27	Joseph A. Goguen	Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs.	Mathematical Studies of Information Processing	1978	DBLP DOI BibTeX RDF
27	Terry Coatta	Only Code Has Value?	ACM Queue	2007	DBLP DOI BibTeX RDF	experience, software, development, system, obj, factory
27	Shin Nakajima 0001, Kokichi Futatsugi	An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.	ICSE	1997	DBLP DOI BibTeX RDF	concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ
20	Jé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.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Jérôme Lacouture, Philippe Aniorté	Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Pascal André, J. Christian Attiogbé	Éditorial.	Obj. Logiciel Base données Réseaux	2008	DBLP BibTeX RDF
20	Yoann Kubera, Philippe Mathieu, Sébastien Picault	Formalisation et implémentation des interactions pour la simulation centrée individu.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Pierre Parrend, Stéphane Frénot	Vérification automatique pour l'exécution sécurisée de composants Java.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Nicolas Anquetil, Joost Noppen, Ismênia Galvão	La traçabilité dans les lignes de produits logiciels.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Cédric Williamson	Les fabriques logicielles. De l'appréhension à l'implémentation active, un marché en devenir pour les technologies.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Inès Mouakher, Jeanine Souquières, Francis Alexandre	Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Bart George, Régis Fleurquin, Salah Sadou, Houari A. Sahraoui	Un mécanisme de sélection de composants logiciels.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Jean-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.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Stéphane S. Somé, Pauline Anthonysamy	Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Nicolas Anquetil, Hugo Arboleda, F. de Alexandria Fernandes, Angel Núñez, Jean-Claude Royer	Lignes de produits logiciels et usines logicielles.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Sylvain 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é.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou	Vérification formelle d'architectures logicielles à base d'UML.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Marianne Simonot, Maria-Virginia Aponte	Une approche formelle de la reconfiguration dynamique.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali	Spécification et vérification d'un ordonnanceur en B via les automates temporisés.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
20	Guilaine Talens, Danielle Boulanger	Vues et points de vue dans un système objet de base de connaissances.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Antoine Beugnard	Éditorial.	Obj. Logiciel Base données Réseaux	2007	DBLP BibTeX RDF
20	M. 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Régis Fleurquin, Chouki Tibermacine	Une assistance pour l'évolution des logiciels à base de composants.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Eveline Kaboré, Antoine Beugnard	Automatisation d'un processus de conception par transformations de modèles.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel	SéMo'07, premier atelier sur la sémantique des modèles.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Nassima Sadou, Dalila Tamzalit, Mourad Chabane Oussalah	SAEV, une solution à l'évolution structurelle dans les architectures logicielles.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Gautier 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Jean Lieber, Amedeo Napoli	La représentation de points de vue dans le système d'aide à la décision en cancérologie KASIMIR.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Fré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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Ouafa 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Cédric Dumoulin, Anne Etien	Morphing de métamodèles.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Wolfgang 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Pierre-André Caron, Mireille Blay-Fornarino, Xavier Le Pallec	La contextualisation de modèles, une étape indispensable à un développement dirigé par les modèles ?	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Dolores 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Adil 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Olivier 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.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Olivier Caron, Bernard Carré, Alexis Muller	Programmation par objets structurée en contextes.	Obj. Logiciel Base données Réseaux	2007	DBLP DOI BibTeX RDF
20	Steffen Becker 0001, Ralf H. Reussner	The Impact of Software Component Adaptation on Quality of Service Properties.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Massimo Tivoli, Marco Autili	SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Carlos Canal, Juan Manuel Murillo, Pascal Poizat	Software Adaptation.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Pascal Fradet, Stéphane Hong Tuan Ha	Systèmes de gestion de ressources et aspects de disponibilité.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Günter Kniesel, Tobias Rho	A Definition, Overview and Taxonomy of Generic Aspect Languages.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Simon Denier, Pierre Cointe	Expression and Composition of Design Patterns with AspectJ.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Hervé Chang, Philippe Collet	Négociation de contrats, des systèmes multi-agents aux composants logiciels.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF
20	Farida 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.	Obj. Logiciel Base données Réseaux	2006	DBLP DOI BibTeX RDF