Search results for "object-oriented modeling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
3	Paul Kinnucan, Pieter J. Mosterman	A graphical variant approach to object-oriented modeling of dynamic systems.	SCSC	2007	DBLP DOI BibTeX RDF	physical systems modeling, simulation software engineering, embedded systems, inheritance, polymorphism, object-oriented modeling, system dynamics
3	M. Brian Blake, Hassan Gomaa	Object-Oriented Modeling Approaches to Agent-Based Workflow Services.	SELMAS	2003	DBLP DOI BibTeX RDF	UML, Workflow, Software Process, object- oriented modeling, Agent architectures
3	Klaus Marius Hansen, Anne V. Ratzer	Tool support for collaborative teaching and learning of object-oriented modeling.	ITiCSE	2002	DBLP DOI BibTeX RDF	electronic whiteboards, gestures, collaborative learning, object-oriented modeling
3	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
3	Laura A. Campbell, Betty H. C. Cheng	Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.	IWSSD	2000	DBLP BibTeX RDF	simulation, formal specifications, design process, Object-oriented modeling, automated analysis
2	Mathilde Alonso, Dominique Py, Thierry Lemeunier	A Learning Environment for Object-Oriented Modeling, Supporting Metacognitive Regulations.	ICALT	2008	DBLP DOI BibTeX RDF
2	Ludovic Auxepaules, Dominique Py, Thierry Lemeunier	A Diagnosis Method that Matches Class Diagrams in a Learning Environment for Object-Oriented Modeling.	ICALT	2008	DBLP DOI BibTeX RDF
2	Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Snapshot Generation in a Constructive Object-Oriented Modeling Language.	LOPSTR	2007	DBLP DOI BibTeX RDF
2	Jong-Sun Kim, Ji-Yoon Yoo, Hack-Youp Noh	Software Design of Electronic Interlocking System Based on Real-Time Object-Oriented Modeling Technique.	OTM Workshops	2005	DBLP DOI BibTeX RDF
2	Jong-Sun Kim, Ji-Yoon Yoo	Application of Real-Time Object-Oriented Modeling Technique for Real-Time Computer Control.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
2	Tae-Dong Lee, Seung-Hun Yoo, Chang-Sung Jeong	HLA-Based Object-Oriented Modeling/Simulation for Military System.	AsiaSim	2004	DBLP DOI BibTeX RDF
2	Sang-Gyu Jeon, Gihun Son	Development of a Power Plant Simulation Tool with Component Expansibility Based on Object Oriented Modeling.	AsiaSim	2004	DBLP DOI BibTeX RDF
2	Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell	Object Analysis Patterns for Embedded Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	object analysis, model checking, embedded systems, formal specification, conceptual modeling, requirements, patterns, Object-oriented modeling
2	Tae-Dong Lee, Bom-Jae Jeon, Chang-Sung Jeong, Sang-Yong Choi	RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense.	OOIS	2003	DBLP DOI BibTeX RDF
2	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
2	Sergiu Dascalu, Peter Hitchcock	An approach to integrating semi-formal and formal notations in software specification.	SAC	2002	DBLP DOI BibTeX RDF	Z++, integration of notations, UML, UML, formal methods, object-oriented modeling
2	Dimosthenis Anagnostopoulos, Mara Nikolaidou	An Object-Oriented Modeling Scheme for Distributed Applications.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
2	Martin Glinz, Stefan Berner, Stefan Joos, Johannes Ryser, Nancy Schett, Yong Xia	The ADORA Approach to Object-Oriented Modeling of Software.	CAiSE	2001	DBLP DOI BibTeX RDF
2	Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho	Integrating Organizational Requirements and Object Oriented Modeling. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF	UML, Requirements Modeling, Object Oriented Development, Organizational Modeling
2	Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen	A methodology for specifying and analyzing consistency of object-oriented behavioral models.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	behavioral consistency, UML, UML, CSP, object-oriented modeling
2	Gregor Engels, Luuk Groenewegen	Object-oriented modeling: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	UML, UML, frameworks, patterns, profile, views, object-oriented modeling, development process
2	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen	Tool support for cooperative object-oriented design: gesture based modelling on an electronic whiteboard.	CHI	2000	DBLP DOI BibTeX RDF	electronic whiteboards, user study, object-oriented modeling, CASE tools, cooperative design, gesture input
2	Jun Ginbayashi, Rieko Yamamoto, Keiji Hashimoto	Business Component Framework and Modeling Method for Component-Based Application Architecture. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	business component framework, component-based application architecture, business application systems, object-oriented programming, object-oriented modeling, Enterprise JavaBeans, component-based architecture, modeling method, reusable software components
2	Silvia Teresita Acuña, Mabel del V. Sosa	An Integral Software Process Formal Model based on the SOCCA Approach.	SCCC	2000	DBLP DOI BibTeX RDF	integral software process formal model, SOCCA approach, Capacity-Centered Integral Software Process Model, CCISPM, object-oriented modeling approach, Specifications of Coordinated and Cooperative Activities, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, design process
2	Gabriele Taentzer	Adding Visual Rules to Object-Oriented Modeling Techniques.	TOOLS	1999	DBLP DOI BibTeX RDF	Modeling, design, UML, constraints, rules, graph transformation
2	Jin Ma, Sheng Yu	Practical Rules for Reduction on the Number of States of a State Diagram.	TOOLS	1998	DBLP DOI BibTeX RDF	UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT
2	Xiaoping Jia	A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF
2	Malcolm Shroff, Robert B. France	Towards a formalization of UML class structures in Z. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language
2	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
2	Jutta Göers, K.-P. Lisson, Hans-Günther Linde-Göers	Experiences in Object-Oriented Modeling of a Real Database Application.	DEXA	1996	DBLP DOI BibTeX RDF
2	Bran Selic	Real-Time Object-Oriented Modeling (ROOM). (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF
2	William W. Owen, Jerzy W. Rozenblit	Integration of Design Modeling Techniques: Operations Automation Systems Scenario.	ECBS	1996	DBLP DOI BibTeX RDF	object-oriented modeling and design, structured knowledge representation, information managements systems
2	Herbert Praehofer, Franz Pichler	Multifacetted, Object Oriented Modeling in the Transportation Domain.	EUROCAST	1995	DBLP DOI BibTeX RDF
2	Jyhjong Lin, David Chenho Kung, Pei Hsia	Towards a real-time object-oriented modeling approach.	CASCON	1995	DBLP DOI BibTeX RDF
2	George Krasovec, Mark Baker, Serban Gheorghe	Target tracking: a real-time object oriented design experiment.	ICECCS	1995	DBLP DOI BibTeX RDF	sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs
2	Jeffrey J. P. Tsai, Ray-Yuan Sheu	A knowledge-based system for Ada® software development.	Journal of Systems Integration	1991	DBLP DOI BibTeX RDF	knowledge-based software development, requirement specification language, Ada, object-oriented modeling
2	D. Peter Sanderson, Lawrence L. Rose	Object-oriented modeling using C++.	Annual Simulation Symposium	1988	DBLP DOI BibTeX RDF	C++
1	David Broman, Henrik Nilsson	Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.	PADL	2012	DBLP DOI BibTeX RDF
1	François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (eds.)	Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011	EOOLT	2011	DBLP BibTeX RDF
1	Ole Lehrmann Madsen, Birger Møller-Pedersen, Ragnhild Kobro Runde	COOMP 2011: first international workshop on combined object-oriented modeling and programming.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Se-Hoon Jung, Chun-Bo Sim	Smart Device Oriented Intelligent Context-Awareness System for U-SAFE Service Using Object Oriented Modeling Technique.	ICHIT	2011	DBLP DOI BibTeX RDF
1	Hongchao Ji, Oliver Lenord, Dieter Schramm	A Model Driven Approach for Requirements Engineering of Industrial Automation Systems.	EOOLT	2011	DBLP BibTeX RDF
1	Gregory Provan	Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications.	EOOLT	2011	DBLP BibTeX RDF
1	Martin Sjölund, Peter Fritzson	Debugging Symbolic Transformations in Equation Systems.	EOOLT	2011	DBLP BibTeX RDF
1	Toby Myers, Wladimir Schamai, Peter Fritzson	Comodeling Revisited: Execution of Behavior Trees in Modelica.	EOOLT	2011	DBLP BibTeX RDF
1	Hisahiro Ito, Akira Ohata, Ken Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova	Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.	EOOLT	2011	DBLP BibTeX RDF
1	Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets	Safe Compositional Equation-based Modeling of Constrained Flow Networks.	EOOLT	2011	DBLP BibTeX RDF
1	Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz	A Compositional Semantics for Modelica-style Variable-structureModeling.	EOOLT	2011	DBLP BibTeX RDF
1	Pieter J. Mosterman, Justyna Zander	AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.	EOOLT	2011	DBLP BibTeX RDF
1	Wuzhu Chen, Michaela Huhn, Peter Fritzson	A Generic FMU Interface for Modelica.	EOOLT	2011	DBLP BibTeX RDF
1	Christoph Höger	Separate Compilation of Causalized Equations -Work in Progress.	EOOLT	2011	DBLP BibTeX RDF
1	Klaus Röbenack, Jan Winkler, Siqian Wang	LIEDRIVERS - A Toolbox for the Efficient Computation of Lie Derivatives Based on the Object-Oriented Algorithmic Differentiation Package ADOL-C.	EOOLT	2011	DBLP BibTeX RDF
1	Javier Bonilla, Luis José Yebra, Sebastián Dormido	Exploiting OpenMP in the Initial Section of Modelica Models (Work in Progress).	EOOLT	2011	DBLP BibTeX RDF
1	Uwe Pohlmann, Matthias Tichy	Modelica code generation from ModelicaML state machines extended by asynchronous communication.	EOOLT	2011	DBLP BibTeX RDF
1	Victorino Sanz, Alfonso Urquia, Sebastián Dormido	Integrating Parallel DEVS and equation-based object-oriented modeling.	SpringSim	2010	DBLP DOI BibTeX RDF
1	Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman	Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.	MoDELS Workshops	2010	DBLP DOI BibTeX RDF
1	Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman (eds.)	Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010	EOOLT	2010	DBLP BibTeX RDF
1	Birger Møller-Pedersen	Scandinavian Contributions to Object-Oriented Modeling Languages.	History of Nordic Computing	2010	DBLP DOI BibTeX RDF
1	Ludovic Auxepaules, Dominique Py	An Evaluation of Diagnosis in a Learning Environment for Object-Oriented Modeling.	ICALT	2010	DBLP DOI BibTeX RDF
1	Michela Pedroni, Bertrand Meyer	Object-Oriented Modeling of Object-Oriented Concepts.	ISSEP	2010	DBLP DOI BibTeX RDF
1	Kristian Stavåker, Daniel Rolls, Jing Guo, Peter Fritzson, Sven-Bodo Scholz	Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs.	EOOLT	2010	DBLP BibTeX RDF
1	Joel Andersson, Boris Houska, Moritz Diehl	Towards a Computer Algebra System with Automatic Differentiation for use with Object-Oriented modelling languages.	EOOLT	2010	DBLP BibTeX RDF
1	Roberto Parrotto, Johan Åkesson, Francesco Casella	An XML representation of DAE systems obtained from continuous-time Modelica models.	EOOLT	2010	DBLP BibTeX RDF
1	Willi Braun, Bernhard Bachmann, Sabrina Pross	Synchronous Events in the OpenModelica Compiler with a Petri Net Library Application.	EOOLT	2010	DBLP BibTeX RDF
1	Xenofon Floros, François E. Cellier, Ernesto Kofman	Discretizing Time or States?	EOOLT	2010	DBLP BibTeX RDF
1	Christoph Höger, Florian Lorenzen, Peter Pepper	Notes on the Separate Compilation of Modelica.	EOOLT	2010	DBLP BibTeX RDF
1	Martin Sjölund, Robert Braun, Peter Fritzson, Petter Krus	Towards Efficient Distributed Simulation in Modelica using Transmission Line Modeling.	EOOLT	2010	DBLP BibTeX RDF
1	Tobias Zaiczek, Olaf Enge-Rosenblatt	Import of Distributed Parameter Models into Lumped Parameter Model Libraries for the Example of Linearly Deformable Solid Bodies.	EOOLT	2010	DBLP BibTeX RDF
1	Christian Schulze, Michaela Huhn, Martin Schüler	Profiling of Modelica Real-Time Models.	EOOLT	2010	DBLP BibTeX RDF
1	Anton Sodja, Borut Zupancic	Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper).	EOOLT	2010	DBLP BibTeX RDF
1	Edward A. Lee, Stavros Tripakis	Modal Models in Ptolemy.	EOOLT	2010	DBLP BibTeX RDF
1	Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel	Execution of UMLState Machines Using Modelica.	EOOLT	2010	DBLP BibTeX RDF
1	Dirk Zimmer	Towards Improved Class Parameterization and Class Generation in Modelica.	EOOLT	2010	DBLP BibTeX RDF
1	Irene Eusgeld, Wolfgang Kröger, Giovanni Sansavini, Markus Schläpfer, Enrico Zio	The role of network theory and object-oriented modeling within a framework for the vulnerability analysis of critical infrastructures.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Sabine Moisan, Jean-Paul Rigault	Teaching Object-Oriented Modeling and UML to Various Audiences.	MoDELS Workshops	2009	DBLP DOI BibTeX RDF
1	Mathilde Alonso, Dominique Py	An Evaluation of Pedagogical Feedbacks in DIAGRAM, a Learning Environment for Object-Oriented Modeling.	AIED	2009	DBLP DOI BibTeX RDF
1	Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi	An object-oriented modeling framework for petri nets and related models.	AICCSA	2009	DBLP DOI BibTeX RDF
1	José M. Garrido	Understanding distributed denial of service with object oriented simulation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	network security, discrete event simulation, denial of service, protection
1	Jean François Santucci, Emmanuelle de Gentili	Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics.	SpringSim	2009	DBLP DOI BibTeX RDF	Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS
1	Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu	Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.	FM	2009	DBLP DOI BibTeX RDF
1	Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe	System Model-Based Definition of Modeling Language Semantics.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Wolfgang Ahrendt, Maximilian Dylla	A Verification System for Distributed Objects with Asynchronous Method Calls.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio	A Complete Set of Object Modeling Laws for Alloy.	SBMF	2009	DBLP DOI BibTeX RDF
1	Alberto Jorrín, César de Prada, Pedro Cobas	EcosimPro and its EL Object-Oriented Modeling Language.	EOOLT	2008	DBLP BibTeX RDF
1	Saheeb Ahmed Kayani, Muhammad Afzaal Malik	Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multi energy domain dynamic or mechatronic systems, physical design realization, rotary mechanical systems, topology synthesis, unified/automated design, genetic programming, dynamic analysis, object oriented modeling, bond-graphs
1	Saheeb Ahmed Kayani	Search for human competitive results in open ended automated synthesis of a primordial mechatronic system.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multi domain dynamic or mechatronic systems, physical design realization, topology synthesis, unified/automated design, genetic programming, dynamic analysis, bond-graphs
1	Miguel I. Aguirre-Urreta, George M. Marakas	Comparing conceptual modeling techniques: a critical review of the EER vs. OO empirical literature.	DATA BASE	2008	DBLP DOI BibTeX RDF	ontology, object-oriented, review, conceptual data modeling, entity-relationship
1	Ning Liu, DongXia Zheng, FeiYan Gao, YaoHua Xiong	Research on the Application of UML in Software Architecture Modeling.	HPCC	2008	DBLP DOI BibTeX RDF
1	Hua Xu, Peifa Jia	A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems.	ISNN	2008	DBLP DOI BibTeX RDF
1	Kwan Hee Han, Jun Woo Park	Development of Object-Oriented Modeling Tool for the Design of Industrial Control Logic.	SERA	2007	DBLP DOI BibTeX RDF
1	Xianshan Li, Chengming Wu, Xiangyong Hu	Object-Oriented Modeling of Protective Systems for Hydropower Station Simulator.	IMECS	2007	DBLP BibTeX RDF
1	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen	The when, why and why not of the BETA programming language.	HOPL	2007	DBLP DOI BibTeX RDF	history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis
1	Xinping Zhu, Sharad Malik	A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	on-chip communication architecture, network-on-chip, multiprocessor system, object-oriented modeling, packet-switching network, design exploration, bus, Retargetable simulation
1	Dragan Milicev	On the Semantics of Associations and Association Ends in UML.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association
1	Fang Yu, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
1	Nenad Marovac	UML based embedded documentation for semi-automatic software development.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	flagged sentences, modeling, software engineering, UML, UML
1	Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff	Metamodel-based model conformance and multiview consistency checking.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	multiview consistency, formal methods, Metamodeling, automated verification
1	Bastian Dolle, Walter Dosch	From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Assaf Raman, Shmuel S. Tyszberowicz	The EasyCRC Tool.	ICSEA	2007	DBLP DOI BibTeX RDF