Search results for "OMT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Kann-Jang Yang, Rob Pooley	Process Modelling to Support the Unified Modelling Language.	COMPSAC	1997	DBLP DOI BibTeX RDF
16	Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner	Towards a Formalization of the Unified Modeling Language.	ECOOP	1997	DBLP DOI BibTeX RDF
16	Steven O. Kimbrough, William J. Vachula	Towards a Logic Model for Object-Oriented Systems Analysis and Design.	HICSS (5)	1997	DBLP DOI BibTeX RDF
16	John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen	From Formal Specifications to Natural Language: A Case Study.	ASE	1997	DBLP DOI BibTeX RDF	REVIEW system, Metaview, formal specification, formal specifications, natural language, software specification, CASE environments
16	Judith S. Dahmann	High Level Architecture for Simulation.	DIS-RT	1997	DBLP DOI BibTeX RDF
16	Jürgen Zimmermann 0003, Holger Branding, Alejandro P. Buchmann, Alin Deutsch, Andreas Geppert	Design, Implementation and Management of Rules in an Active Database System.	DEXA	1996	DBLP DOI BibTeX RDF	modelling of rules, rule languages, tools for rule management, access control of rules, Active database systems, object-oriented database systems, software life cycle
16	Kinh Nguyen	Towards a Practical Formal Method for Object Oriented Modelling.	APSEC	1996	DBLP DOI BibTeX RDF	Formal Specification, Object Oriented Modeling, Object Oriented Analysis and Design, System Development Methodologies
16	Do-Hyoung Kim, Kiwon Chong	A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis.	APSEC	1996	DBLP DOI BibTeX RDF	Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique
16	Véronique Plihon, Colette Rolland	Modelling Ways-of-Working	CAiSE	1995	DBLP DOI BibTeX RDF
16	Kimberly Williams	Using object oriented analysis and design in a non-object oriented environment experience report.	ICSM	1995	DBLP DOI BibTeX RDF	control system analysis computing, nonobject oriented environment, subsystem development, independent test, Allen-Bradley's 6200 Series Programming Software for Programmable Controllers, structured analysis/structured design subsystems, function point number, code line number, subsystem function number, defect number, defect fixing time, complexity, metrics, software maintenance, software metrics, programming environments, program testing, object oriented design, object-oriented methods, object oriented analysis, structured programming, programmable controllers, control system CAD, development time, Object Modeling Technique
16	Leo Motus, R. Kinksaar, Tonu Naks, M. Pall	Enhancing object modelling technique with timing analysis capabilities.	ICECCS	1995	DBLP DOI BibTeX RDF	enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
16	Jan-Ming Ho, Ming-Tat Ko, Tze-Heng Ma, Ting-Yi Sung	Algorithms for Rectilinear Optimal Multicast Tree Problem.	ISAAC	1992	DBLP DOI BibTeX RDF