Search results for "object diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
2	Paolo Tonella, Alessandra Potrich	Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram.	ICSM	2002	DBLP DOI BibTeX RDF
2	Dov Dori, Erez Tatcher	Selective Multiple Inheritance.	IEEE Software	1994	DBLP DOI BibTeX RDF	selective multiple inheritance, embryonic class, class instances, ancestor subsets, combinatorial explosion, inheritance, object-oriented methods, object diagram, generalized method
1	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Hector Miguel Chavez, Wuwei Shen, Shaoying Liu	An approach to detection of UML-based ownership violation.	SAC	2009	DBLP DOI BibTeX RDF	UML, Eclipse, class diagram, ownership, model checker
1	Lan Anh Tran	A UML Model of the Client Tracking System at the Learning Enrichment Foundation in Toronto, Canada: A Study of Class, Object, and State Diagrams.	WSKS	2008	DBLP DOI BibTeX RDF	Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram
1	Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.	ICST	2008	DBLP DOI BibTeX RDF	UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis
1	Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu	Validation of requirement models by automatic prototyping.	ISSE	2008	DBLP DOI BibTeX RDF	UML, Prototype, Code generation, OCL, Requirement validation
1	Jeffrey K. Czyz, Bharat Jayaraman	Declarative and visual debugging in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF
1	Jörg Bauer 0001, Werner Damm, Tobe Toben, Bernd Westphal	Verification and Synthesis of OCL Constraints Via Topology Analysis.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter, Ulrich Hannemann	Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins	UMLAnT: an Eclipse plugin for animating and testing UML designs.	ETX	2005	DBLP DOI BibTeX RDF	EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing
1	Bui Minh Duc	Uniform object modeling methodology and reuse of real-time system using UML.	EMSOFT	2005	DBLP DOI BibTeX RDF	UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology
1	Miguel Goulão, Fernando Brito e Abreu	Formal Definition of Metrics Upon the CORBA Component Model.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
1	Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim	Using uml to visualize role-based access control constraints.	SACMAT	2004	DBLP DOI BibTeX RDF	modeling, UML, RBAC
1	Xiaoshan Li, Zhiming Liu, Jifeng He	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
1	Marco Torchiano	Empirical Assessment of UML Static Object Diagrams.	IWPC	2004	DBLP DOI BibTeX RDF
1	Dragan Milicev	Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	model-based output generation, automatic model transformation, model-based translation, Unified Modeling Language (UML), metamodeling, object-oriented modeling, domain-specific modeling, modeling tool, object diagram
1	Joseph Gil, John Howse, Stuart Kent	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
1	Rainer Oechsle, Thomas Schmitt	JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI).	Software Visualization	2001	DBLP DOI BibTeX RDF
1	Toyoaki Tomura, Satoshi Kanai, Takeshi Kishinami	Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram.	Int. J. Computer Integrated Manufacturing	2000	DBLP DOI BibTeX RDF
1	Roger Box, Michael Whitelaw	Experiences when migrating from structured analysis to object-oriented modelling.	ACSE	2000	DBLP DOI BibTeX RDF	constructivist learning theory, abstraction, object-oriented modelling, concept map, learning difficulties, object diagram
1	João M. Fernandes, Ricardo Jorge Machado, Henrique D. Santos	Modeling industrial embedded systems with UML.	CODES	2000	DBLP DOI BibTeX RDF
1	Takashi Kobayashi, Motoshi Saeki	Software Development Based on Software Pattern Evolution.	APSEC	1999	DBLP DOI BibTeX RDF	Object-Orientation, Software Evolution, Software Pattern
1	Takayoshi Noguchi, Jiro Tanaka	Interactive Layout Method for Object Diagrams of OMT.	APSEC	1999	DBLP DOI BibTeX RDF	software development tool, object-oriented methodology
1	Kelly Morrison	ODGen: a prototype reverse engineering tool for Ada.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF