Search results for "OMT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Robert H. Bourdeau, Betty H. C. Cheng	A Formal Semantics for Object Model Diagrams.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	formal methods, semantics, requirements specification, Algebraic specification, object modeling
58	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
58	Joseph Fong	Mapping Extended Entity Relationship Model to Object Modeling Technique.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	EER model, OMT model, interoperability, reengineering
52	Philippe Leblanc	OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems.	Int. J. Softw. Tools Technol. Transf.	1997	DBLP DOI BibTeX RDF	Engineering of distributed systems, Behavioral property, SDL, Model validation, MSC, Model simulation, OMT
51	Luís Eduardo Oliveira Lizardo, Clodoveu A. Davis Jr.	OMT-G Designer: A Web Tool for Modeling Geographic Databases in OMT-G.	ER Workshops	2014	DBLP DOI BibTeX RDF
49	Mauricio J. V. Silva, C. Robert Carlson	Conceptual Design of Active Object-Oriented Database Applications Using Multi-level Diagrams.	ECOOP	1996	DBLP DOI BibTeX RDF
42	Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec	Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems.	DEXA	1996	DBLP DOI BibTeX RDF	Log manager, Ephemeral logging, LLT, Long-Lived Transactions, Object design, Log performance, Formal specification, Transaction processing, Z, Logging, Distributed database systems, OMT
42	Michael Rohloff	Reference model and object oriented approach for business process design and workflow management.	ISCNZ	1996	DBLP DOI BibTeX RDF	organisational design, customer-supplier relationship, object oriented modeling technique, decision making, business process modeling, workflow management, reference model, information systems development, object oriented approach, corporate modelling, business process design, OMT
42	Takayoshi Noguchi, Jiro Tanaka	Interactive Layout Method for Object Diagrams of OMT.	APSEC	1999	DBLP DOI BibTeX RDF	software development tool, object-oriented methodology
42	Bart Wydaeghe, Kurt Verschaeve, Bart Michiels, Bruno Van Damme, Evert Arckens, Viviane Jonckers	Building an OMT-Editor Using Design Patterns: An Experience Report.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Design Patterns, Experience Report, Architectural Patterns
41	Mauricio J. V. Silva, C. Robert Carlson	Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams.	COMPSAC	1996	DBLP DOI BibTeX RDF	active object-oriented database modeling, multilevel diagrams, event driven behavior, time critical reactions, A/OODBMT, Active Object-Oriented Database Modeling Technique, OMT method, nested object model, nested rule model, nested event model, data structures, object-oriented databases, systems analysis, deductive databases, diagrams, behavior model, active databases, object-oriented paradigm, event-condition-action rules, Object Modeling Technique
41	David Harel, Eran Gery	Executable Object Modeling with Statecharts.	ICSE	1996	DBLP BibTeX RDF	O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
33	T. N. Wong, L. C. F. Chan, Henry C. W. Lau	Machining process sequencing with fuzzy expert system and genetic algorithms.	Eng. Comput.	2003	DBLP DOI BibTeX RDF	Cost-tolerance, Process Sequencing, Genetic algorithms, Uncertainty, Process planning, Fuzzy expert system
33	Mor Peleg, Dov Dori	The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology
33	Chris W. Loftus, A. Olsen, Euricio Inocêncio, Paula Viana	A Code Generation Strategy for CORBA-Based Internet Applications.	EDOC	1997	DBLP DOI BibTeX RDF	Internet, CORBA, Code generation, service creation, TINA
26	Yoichi Omori, Akira Fukuda, Kazuki Joe	An Object-Oriented Framework for Loop Parallelization.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	object-oriented design, portability, parallelizing compiler, loop parallelization, OMT
26	Jin Ma, Sheng Yu 0001	Practical Rules for Reduction on the Number of States of a State Diagram.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT
26	Michael R. Blaha, William J. Premerlani	A Catalog of Object Model Transformations.	WCRE	1996	DBLP DOI BibTeX RDF	object model transformations, model optimization, code manipulation, reverse engineering, software development, application, object oriented model, object-oriented methods, model abstraction, OMT, model refinement
25	Hidenori Yukawa, Yu Ushijima, Toru Takahashi 0005, Toru Fukasawa, Yoshio Inasawa, Naofumi Yoneda, Moriyasu Miyazaki	Uniaxially Symmetrical T-Junction OMT with 45° -Tilted Branch Waveguide Ports.	IEICE Trans. Electron.	2024	DBLP DOI BibTeX RDF
25	Stefan Panjkovic, Andrea Micheli	Abstract Action Scheduling for Optimal Temporal Planning via OMT.	AAAI	2024	DBLP DOI BibTeX RDF
25	Rakin Muhammad Shadab, Yu Zou, Sanjay Gandham, Mingjie Lin	OMT: A Demand-Adaptive, Hardware-Targeted Bonsai Merkle Tree Framework for Embedded Heterogeneous Memory Platform.	FPGA	2023	DBLP DOI BibTeX RDF
25	Rakin Muhammad Shadab, Yu Zou, Sanjay Gandham, Mingjie Lin	OMT: A Run-time Adaptive Architectural Framework for Bonsai Merkle Tree-Based Secure Authentication with Embedded Heterogeneous Memory.	HOST	2023	DBLP DOI BibTeX RDF
25	Gregory Peter Le Sage, Christopher D. Nantista	Broadband, High Efficiency OMT in E-Band.	IEEE Access	2022	DBLP DOI BibTeX RDF
25	João Rodrigues Gomes, Alda Lopes Gançarski, Pedro Rangel Henriques	OMT, a Web-Based Tool for Ontology Matching.	SLATE	2022	DBLP DOI BibTeX RDF
25	Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci	MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.	CoRR	2021	DBLP BibTeX RDF
25	Chenting Jiang, Weihua Li 0007, Shiqing Wu, Quan Bai	OMT: An Operate-Based Approach for Modelling Multi-topic Influence Diffusion in Online Social Networks.	WISE (1)	2021	DBLP DOI BibTeX RDF
25	Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci	MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
25	Abdellah El Kamili, Abdelwahed Tribak, Jaouad Terhzaz, Angel Mediavilla	OMT design based on Boifot Orthomode junctions for satellite communication applications in the Ku Band.	SITA	2020	DBLP DOI BibTeX RDF
25	Dirk Johannßen, Chris Biemann	Neural classification with attention assessment of the implicit-association test OMT and prediction of subsequent academic success.	KONVENS	2019	DBLP BibTeX RDF
25	Francesco Leofante, Erika Ábrahám, Armando Tacchella	Task Planning with OMT: An Application to Production Logistics.	IFM	2018	DBLP DOI BibTeX RDF
25	Lauri Wessel, Martin Gersch, Charlotte Kops	On the Relationship of OMT and BISE: Bringing Institutions in. (PDF / PS)	Wirtschaftsinformatik	2015	DBLP BibTeX RDF
25	María del Carmen Rodríguez Gancedo, Javier Caminero, José Relaño-Gil, Carlos Picazo	T-OMT: A Novel Opinion Mining Tool for Improving Global Customer Relationship Management.	CASFE	2013	DBLP BibTeX RDF
25	Maria da Piedade Gomes de Oliveira	Visualization of geographical data driven by the OMT-G conceptual model.		2007	RDF
25	Taewon Lee, Sukho Lee	OMT: Overlap Minimizing Top-down Bulk Loading Algorithm for R-tree.	CAiSE Short Paper Proceedings	2003	DBLP BibTeX RDF
25	Karla A. V. Borges, Clodoveu A. Davis Jr., Alberto H. F. Laender	OMT-G: An Object-Oriented Data Model for Geographic Applications.	GeoInformatica	2001	DBLP DOI BibTeX RDF
25	Markus Kottmann, Xiaobing Qiu, Walter Schaufelberger	Simulation and computer aided control systems design using object-orientation - design and implementation with OMT and Oberon.		2000	RDF
25	Adilson Marques da Cunha, Walter Strafacci Jr., Lineu Fernando Stege Mialaret	Intelligent Object-Oriented Software Systems Development with OMT/UML Methodology for Airportuary Environments.	OOIS	2000	DBLP DOI BibTeX RDF
25	Eric Meyer, Jeanine Souquières	A Systematic Approach to Transform OMT Diagrams to a B Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
25	Gennaro Petraglia, Monica Sebillo	Normalized Querying for OMT-Based Image Database.	Applied Informatics	1999	DBLP BibTeX RDF
25	Viviane Jonckers, Bruno Van Damme, Katja Verbeeck	Factorisation of OMT Models.	ICEIS	1999	DBLP BibTeX RDF
25	Wilhelm Hasselbring, Andreas Kröber	Combining OMT with a prototyping approach.	J. Syst. Softw.	1998	DBLP DOI BibTeX RDF
25	Taegyun Kim, Nacer Boudjlida	An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT.	APSEC	1998	DBLP DOI BibTeX RDF	Refactoring, Restructuring, Object-Oriented Metrics, Computer Aided Software Engineering Tool, Object Modeling Technique
25	Theodoros Lantzos, Helen M. Edwards, Anthony Bryant, Neil Willis	ROMEO: Reverse Engineering from OO Source Code to OMT Design.	WCRE	1998	DBLP DOI BibTeX RDF
25	Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud	Translating the OMT Dynamic Model into Object-Z.	ZUM	1998	DBLP DOI BibTeX RDF
25	Sucktae Joung, Jiro Tanaka	Icon-based Animation from the Object and Dynamic Models based on OMT.	APCHI	1998	DBLP DOI BibTeX RDF
25	Taegyun Kim, Gyusang Shin	Restructuring OODesigner: A CASE Tool for OMT.	ICSE	1998	DBLP DOI BibTeX RDF
25	Karen C. Davis, Veenadhari Pandiri, Katrin Franze	Translating an OMT schema to an ODMG-93 schema.	Comput. Stand. Interfaces	1997	DBLP DOI BibTeX RDF
25	M. A. Qutaishat, Nick J. Fiddian, W. A. Gray	Extending OMT to Support Bottom-Up Design Modelling in a Heterogeneous Distributed Database Environment.	Data Knowl. Eng.	1997	DBLP DOI BibTeX RDF
25	Arve Meisingset	Difficulties with Mapping OMT Specifications into GDMO.	ECOOP Workshops	1997	DBLP BibTeX RDF
25	Leo Motus, Tonu Naks	Formal timing analysis of OMT designs using LIMITS.	WORDS	1997	DBLP DOI BibTeX RDF
25	Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli	Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92.	SDL Forum	1997	DBLP BibTeX RDF
25	Vincent Perrier, Nicolas Dervaux	Combining object-oriented and real-time programming from an OMT and SDL design.	SDL Forum	1997	DBLP BibTeX RDF
25	Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana	The unification of OMT, SDL and IDL for service creation.	SDL Forum	1997	DBLP BibTeX RDF
25	Kurt Verschaeve	Automated iteration between OMT and SDL.	SDL Forum	1997	DBLP BibTeX RDF
25	Jeffrey Melanson, Robert L. Nord, Dilip Soni	Tailoring OMT for an Industry Software Project.	ICSE	1997	DBLP DOI BibTeX RDF	engineering concerns, software engineering, industrial applications, object-oriented analysis and design
25	Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng	Formalizing and Integrating the Dynamic Model within OMT.	ICSE	1997	DBLP DOI BibTeX RDF	design, formal specification, requirements analysis, object-oriented modeling, LOGOS, model integration
25	James E. Rumbaugh	To Form a More Perfect Union: Unifying the OMT and Booch Methods.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
25	Eric Andonoff, Gilles Hubert 0001, Annig Le Parc, Gilles Zurfluh	Integrating Versions in the OMT Models.	ER	1996	DBLP DOI BibTeX RDF
25	Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima	Combined Application of SDL-92, OMT, MSC and TTCN.	FORTE	1996	DBLP BibTeX RDF
25	Elisa Bertino, Donatella Castelli, Federica Vitale	A Formal Representation for State Diagrams in the OMT Methodology.	SOFSEM	1996	DBLP DOI BibTeX RDF
25	James E. Rumbaugh	OMT: The Development Process.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
25	James E. Rumbaugh	OMT: The Dynamic Model.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
25	James E. Rumbaugh	OMT: The Object Model.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
25	James E. Rumbaugh	OMT: The Functional Model.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
25	Desmond D'Souza, Peter Graff	Working with OMT: Model Integration.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
25	Kathleen Milsted	OMT Object Models of Telecommunications Services.	IS&N	1995	DBLP DOI BibTeX RDF
25	Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut	OMT*, Bridging the Gap between Analysis and Design.	FORTE	1995	DBLP BibTeX RDF
25	Desmond D'Souza	Working with OMT in the Construction of Large Systems.	J. Object Oriented Program.	1994	DBLP BibTeX RDF
25	Ed Doesburg, Doré Eijkman, Anneke Kleppe, Jos Warmer	Practical Experiences with OMT.	TOOLS (13)	1994	DBLP BibTeX RDF
25	Jürgen Ebert, Gregor Engels	Structural and Behavioural Views on OMT-Classes.	ISOOMS	1994	DBLP DOI BibTeX RDF
25	Renato Silva Cabral, Sandra de Albuquerque Jansen, Patrícia Porto Carreiro, Jaelson Brelaz de Castro	Utilização da Metodologia OMT na Construção de Ferramentas CASE.	SBES	1993	DBLP DOI BibTeX RDF
25	Peter J. Sell, Bhavani Thuraisingham	Applying OMT for Designing Multilevel Database Applications.	DBSec	1993	DBLP BibTeX RDF
25	Bernd Bruegge, Jim Blythe, Jeffrey C. Jackson, Jeff Shufelt	Object-Oriented System Modeling with OMT.	OOPSLA	1992	DBLP DOI BibTeX RDF
16	Younghwan Choi, Bongsoo Kim, Kwansoo Jung, Hochoong Cho, Sang-Ha Kim 0001	An Overlay Multicast Mechanism Using Single-hop Clustering and Tree Division for Mobile Ad hoc Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
16	Iris Reinhartz-Berger	Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach.	ER	2005	DBLP DOI BibTeX RDF
16	Ning Li, Zhou Wang, Wei-Hua Liu, Xiao-Yuan Peng, Guang-Hong Gong	Research on Construction and Interoperability of Complex Distributed Simulation System.	AsiaSim	2004	DBLP DOI BibTeX RDF
16	Abd-El-Kader Sahraoui, T. Blum	Using object-oriented methods in a system lifecycle process model.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	V-model, software engineering, object oriented design, systems engineering
16	Elina Megalou, Thanasis Hadzilacos	Semantic Abstractions in the Multimedia Domain.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	semantic multimedia abstraction, spatio-temporal retrieval, multimedia query language, presentational unit, abstraction, semantic modeling, Multimedia data model
16	Betty H. C. Cheng, Enoch Y. Wang	Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	design, formal specification, requirements analysis, Object-oriented modeling, behavior, dynamic model, model integration
16	Epaminondas Kapetanios, Paul Groenewoud	Query Construction through Meaningful Suggestions of Terms.	FQAS	2002	DBLP DOI BibTeX RDF	Ontologies, Information Retrieval, Semantics, Query Languages
16	Gary S. H. Tan, Wee Ngee Ng, Simon J. E. Taylor	Developing an Object Exchange Model Template for GRIDS Distributed Supply Chain Simulations.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
16	Luciano Baresi, Mauro Pezzè	On Formalizing UML with High-Level Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
16	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
16	Mirko Raner	Teaching object-orientation with the Object Visualization and Annotation Language (OVAL).	ITiCSE	2000	DBLP DOI BibTeX RDF
16	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
16	Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poitrenaud	Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules.	ADVIS	2000	DBLP DOI BibTeX RDF
16	Taegyun Kim, Gyusang Shin, Euyseok Hong	Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version.	APSEC	1999	DBLP DOI BibTeX RDF	Model-View-Controller Paradigm, Unified Modeling Language, Design Pattern, Computer Aided Software Engineering Tool, Object Modeling Technique
16	Giuliano Antoniol, Alessandra Potrich, Paolo Tonella, Roberto Fiutem	Evolving Object Oriented Design to Improve Code Traceability.	IWPC	1999	DBLP DOI BibTeX RDF
16	Judith S. Dahmann	The High Level Architecture and Beyond: Technology Challenges.	Workshop on Parallel and Distributed Simulation	1999	DBLP DOI BibTeX RDF
16	Dominique Canazzi	yaRTI, an Ada 95 HLA Run-Time Infrastructure.	Ada-Europe	1999	DBLP DOI BibTeX RDF
16	Rachel Harrison, Steve Counsell, Reuben V. Nithi	Coupling Metrics for Object-Oriented Design.	IEEE METRICS	1998	DBLP DOI BibTeX RDF	object-oriented, metrics, empirical software engineering, coupling
16	Jürgen Deicke, Ulrich Mayer, A. Knoll, Manfred Glesner	Flexible Multiplexing in MPEG-4 Systems.	IDMS	1998	DBLP DOI BibTeX RDF
16	Guido Carls, Birgit Frohnhoff	Introducing SDL'92 in the Development of TMN Applications.	IS&N	1998	DBLP DOI BibTeX RDF
16	Claudio Demartini, Riccardo Sisto	A Java-based Formal Development Environment for Factory Communication Systems.	ACSD	1998	DBLP DOI BibTeX RDF	OOA&D, factory communication systems, Java, formal verification
16	G. Michael McGrath	Behavioral Issues in Software Engineering Process Modeling: A Multi-Paradigm Approach.	HICSS (6)	1998	DBLP DOI BibTeX RDF
16	Yves Ledru	Identifying Pre-Conditions with the Z/EVES Theorem Prover.	ASE	1998	DBLP DOI BibTeX RDF
16	Roberto Fiutem, Giuliano Antoniol	Identifying Design-Code Inconsistencies in Object-Oriented Software: A Case Study.	ICSM	1998	DBLP DOI BibTeX RDF
16	Judith S. Dahmann, Katherine L. Morse	High Level Architecture for Simulation: An Update.	DIS-RT	1998	DBLP DOI BibTeX RDF	Object Model Template, Simulation Object Models, HLA Federation, Federation Object Models, Runtime Infrastructure, HLA, Interface Specification
16	J. S. Keane, Jerzy W. Rozenblit, Michael Barnes	The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS).	ECBS	1997	DBLP DOI BibTeX RDF	Advanced Battlefield Architecture for Tactical Information Selection, warfare, display strategy testing, hierarchical design methodology, object-oriented design methodology, battlefield visualization, process centered display, display layer, object-oriented methods, class diagrams, object modeling technique
16	Tae-Hoon Kim 0001, Woochang Shin, Geunduk Park, Tae-Heun Lee, Taegyun Kim, Yeong-Gil Shin, Chisu Wu	DOOD: Distributed Object-Oriented Software Development Environment.	APSEC	1997	DBLP DOI BibTeX RDF