Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Robert H. Bourdeau, Betty H. C. Cheng |
A Formal Semantics for Object Model Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 799-821, 1995. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 12th Annual Computer Security Applications Conference (ACSAC 1996), 9-13 December 1996, San Diego, CA, USA, pp. 117-128, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(3), pp. 18-22, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 1(1-2), pp. 153-165, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings, pp. 228-233, 2014, Springer, 978-3-319-12255-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings, pp. 366-397, 1996, Springer, 3-540-61439-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 333-355, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 43-52, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 110-117, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 20-32, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 306-311, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 246-257, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(2-3), pp. 191-202, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 742-759, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 160-169, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 13(1), pp. 57-69, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 46-, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 87-, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Electron. ![In: IEICE Trans. Electron. 107(3), pp. 57-65, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Panjkovic, Andrea Micheli |
Abstract Action Scheduling for Optimal Temporal Planning via OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 20222-20229, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2023, Monterey, CA, USA, February 12-14, 2023, pp. 47, 2023, ACM, 978-1-4503-9417-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOST ![In: IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2023, San Jose, CA, USA, May 1-4, 2023, pp. 191-202, 2023, IEEE, 979-8-3503-0062-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Gregory Peter Le Sage, Christopher D. Nantista |
Broadband, High Efficiency OMT in E-Band. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 59630-59639, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLATE ![In: 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., pp. 8:1-8:12, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-245-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.10685, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (1) ![In: Web Information Systems Engineering - WISE 2021 - 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021, Proceedings, Part I, pp. 542-556, 2021, Springer, 978-3-030-90887-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 174(3-4), pp. 229-258, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITA ![In: SITA'20: Theories and Applications, Rabat, Morocco, September 23-24, 2020, pp. 49:1-49:5, 2020, ACM, 978-1-4503-7733-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KONVENS ![In: Proceedings of the 15th Conference on Natural Language Processing, KONVENS 2019, Erlangen, Germany, October 9-11, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Francesco Leofante, Erika Ábrahám, Armando Tacchella |
Task Planning with OMT: An Application to Production Logistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 316-325, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Lauri Wessel, Martin Gersch, Charlotte Kops |
On the Relationship of OMT and BISE: Bringing Institutions in. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Smart Enterprise Engineering: 12. Internationale Tagung Wirtschaftsinformatik, WI 2015, Osnabrück, Germany, March 4-6, 2015., pp. 1588-1602, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASFE ![In: Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, London, UK, June 24, 2013, pp. 24-27, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | Maria da Piedade Gomes de Oliveira |
Visualization of geographical data driven by the OMT-G conceptual model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
25 | Taewon Lee, Sukho Lee |
OMT: Overlap Minimizing Top-down Bulk Loading Algorithm for R-tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Short Paper Proceedings ![In: The 15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, 16-20 June, 2003, CAiSE Forum, Short Paper Proceedings, Information Systems for a Connected Society, 2003, CEUR-WS.org, 86-435-0549-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 5(3), pp. 221-260, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: 6th International Conference on Object Oriented Information Systems, OOIS 2000, London, UK, December 18-20, 2000. Proceedings, pp. 290-296, 2000, Springer, 1-85233-420-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Eric Meyer, Jeanine Souquières |
A Systematic Approach to Transform OMT Diagrams to a B Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 875-895, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Gennaro Petraglia, Monica Sebillo |
Normalized Querying for OMT-Based Image Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria, pp. 127-130, 1999, IASTED/ACTA Press, 0-88986-241-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
25 | Viviane Jonckers, Bruno Van Damme, Katja Verbeeck |
Factorisation of OMT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Proceedings of the 1st International Conference on Enterprise Information Systems, Setubal, Portugal, 27-30 March 1999, pp. 775, 1999, ICEIS Secretariat, Escola Superior de Tecnologia de Setúbal, Portugal. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
25 | Wilhelm Hasselbring, Andreas Kröber |
Combining OMT with a prototyping approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 43(3), pp. 177-185, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Taegyun Kim, Nacer Boudjlida |
An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 220-227, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 5th Working Conference on Reverse Engineering, WCRE '98, Honolulu, Hawai, USA, October 12-14, 1998, pp. 191-200, 1998, IEEE Computer Society, 0-8186-8967-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud |
Translating the OMT Dynamic Model into Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 347-366, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Sucktae Joung, Jiro Tanaka |
Icon-based Animation from the Object and Dynamic Models based on OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCHI ![In: Third Asian Pacific Computer and Human Interaction, July 15-17, 1998, Kangawa, Japan, Proceedings, pp. 465-472, 1998, IEEE Computer Society, 0-8186-8347-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Taegyun Kim, Gyusang Shin |
Restructuring OODesigner: A CASE Tool for OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998., pp. 449-451, 1998, IEEE Computer Society, 0-8186-8368-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Karen C. Davis, Veenadhari Pandiri, Katrin Franze |
Translating an OMT schema to an ODMG-93 schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 18(5), pp. 417-429, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 22(2), pp. 191-205, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Arve Meisingset |
Difficulties with Mapping OMT Specifications into GDMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997, pp. 12-16, 1997, Springer, 3-540-64039-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Leo Motus, Tonu Naks |
Formal timing analysis of OMT designs using LIMITS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA, pp. 137-144, 1997, IEEE Computer Society, 0-8186-8046-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 3-18, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Vincent Perrier, Nicolas Dervaux |
Combining object-oriented and real-time programming from an OMT and SDL design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 459-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 443-458, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Kurt Verschaeve |
Automated iteration between OMT and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 335-350, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Jeffrey Melanson, Robert L. Nord, Dilip Soni |
Tailoring OMT for an Industry Software Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 556-557, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 45-55, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(8), pp. 14-18, 65, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
25 | Eric Andonoff, Gilles Hubert 0001, Annig Le Parc, Gilles Zurfluh |
Integrating Versions in the OMT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings, pp. 472-487, 1996, Springer, 3-540-61784-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 451-466, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
25 | Elisa Bertino, Donatella Castelli, Federica Vitale |
A Formal Representation for State Diagrams in the OMT Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, pp. 327-334, 1996, Springer, 3-540-61994-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | James E. Rumbaugh |
OMT: The Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(2), pp. 8-16, 76, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | James E. Rumbaugh |
OMT: The Dynamic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 7(9), pp. 6-12, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | James E. Rumbaugh |
OMT: The Object Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 7(8), pp. 21-27, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | James E. Rumbaugh |
OMT: The Functional Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(1), pp. 10-14, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Desmond D'Souza, Peter Graff |
Working with OMT: Model Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 7(9), pp. 23-29, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Kathleen Milsted |
OMT Object Models of Telecommunications Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Bringing Telecommunication Services to the People - IS&N'95, Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16-20, 1995, Proceedings, pp. 369-379, 1995, Springer, 3-540-60479-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut |
OMT*, Bridging the Gap between Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 39-55, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Desmond D'Souza |
Working with OMT in the Construction of Large Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 7(1), pp. 54-58, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Ed Doesburg, Doré Eijkman, Anneke Kleppe, Jos Warmer |
Practical Experiences with OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (13) ![In: TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe., pp. 75-87, 1994, Prentice Hall, 0-13-350539-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Jürgen Ebert, Gregor Engels |
Structural and Behavioural Views on OMT-Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOOMS ![In: Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings, pp. 142-157, 1994, Springer, 3-540-58451-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993., pp. 268-281, 1993, SBC. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Peter J. Sell, Bhavani Thuraisingham |
Applying OMT for Designing Multilevel Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Database Security, VII: Status and Prospects, Proceedings of the IFIP WG11.3 Working Conference on Database Security, Lake Guntersville, Alabama, USA, 12-15 September, 1993, pp. 41-64, 1993, North-Holland, 0-444-81833-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Bernd Bruegge, Jim Blythe, Jeffrey C. Jackson, Jeff Shufelt |
Object-Oriented System Modeling with OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1992, Vancouver, British Columbia, Canada, October 18-22, 1992., pp. 359-376, 1992, ACM, 0-201-53372-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 921-926, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 1-15, 2005, Springer, 3-540-29389-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 131-140, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Abd-El-Kader Sahraoui, T. Blum |
Using object-oriented methods in a system lifecycle process model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(2), pp. 13, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(1), pp. 136-160, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(8), pp. 747-762, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 226-239, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 259-266, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Luciano Baresi, Mauro Pezzè |
On Formalizing UML with High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 276-304, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Charles Lakos |
Object Oriented Modeling with Object Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 1-37, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Raner |
Teaching object-orientation with the Object Visualization and Annotation Language (OVAL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 45-48, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 182-189, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, First International Conference, ADVIS 2000, Izmir, Turkey, 25-27 October 2000, Proceedings, pp. 384-397, 2000, Springer, 3-540-41184-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 622-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999 - Pittsburgh, PA, USA, pp. 151-160, 1999, IEEE Computer Society, 0-7695-0179-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Judith S. Dahmann |
The High Level Architecture and Beyond: Technology Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, PADS '99, Atlanta, GA, USA, May 1-4, 1999, pp. 64-70, 1999, IEEE Computer Society, 0-7695-0155-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Dominique Canazzi |
yaRTI, an Ada 95 HLA Run-Time Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 187-198, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Rachel Harrison, Steve Counsell, Reuben V. Nithi |
Coupling Metrics for Object-Oriented Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 5th IEEE International Software Metrics Symposium (METRICS 1998), March 20-21, 1998, Bethesda, Maryland, USA, pp. 150-157, 1998, IEEE Computer Society, 0-8186-9201-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS ![In: Interactive Distributed Multimedia Systems and Telecommunication Services, 5th International Workshop, IDMS '98, Oslo, Norway, September 8-11, 1998, Proceedings, pp. 83-94, 1998, Springer, 3-540-64955-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Guido Carls, Birgit Frohnhoff |
Introducing SDL'92 in the Development of TMN Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings, pp. 365-377, 1998, Springer, 3-540-64598-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Claudio Demartini, Riccardo Sisto |
A Java-based Formal Development Environment for Factory Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 273-281, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 93-102, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Yves Ledru |
Identifying Pre-Conditions with the Z/EVES Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998, pp. 32-, 1998, IEEE Computer Society, 0-8186-8750-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Fiutem, Giuliano Antoniol |
Identifying Design-Code Inconsistencies in Object-Oriented Software: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1998 International Conference on Software Maintenance, ICSM 1998, Bethesda, Maryland, USA, November 16-19, 1998, pp. 94-, 1998, IEEE Computer Society, 0-8186-8779-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Judith S. Dahmann, Katherine L. Morse |
High Level Architecture for Simulation: An Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 2nd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '98), 19-20 July 1998, Montreal, Canada, pp. 32-40, 1998, IEEE Computer Society, 0-8186-8594-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 228-237, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 427-434, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|