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 |
|