The Evaluation of Large, Complex UML Analysis and Design Models

This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically correctUML analysis and design models. The second part of thepaper briefly describes the internal DesignAdvisorresearch tool that was used to analyze...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 pp. 232 - 241
Main Author: Berenbach, Brian
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 23.05.2004
Series:ACM Conferences
Subjects:
Applied sciences
Computer science; control theory; systems
Computing methodologies > Modeling and simulation > Model development and analysis
Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation
Exact sciences and technology
Software
Software and its engineering > Software creation and management > Software development process management > Software development methods
Software and its engineering > Software creation and management > Software development process management > Software development methods > Rapid application development
Software and its engineering > Software notations and tools > General programming languages > Language types
Software engineering
Theory of computation > Logic > Programming logic
Theory of computation > Semantics and reasoning > Program reasoning
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Unified modelling language
Software development
Semantics
Modeling
Heuristic method
ISBN:9780769521633, 0769521630
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically correctUML analysis and design models. The second part of thepaper briefly describes the internal DesignAdvisorresearch tool that was used to analyze Siemens models.The results are presented and some interestingconclusions are drawn.
AbstractList This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically correctUML analysis and design models. The second part of thepaper briefly describes the internal DesignAdvisorresearch tool that was used to analyze Siemens models.The results are presented and some interestingconclusions are drawn.
Author Berenbach, Brian
Author_xml – sequence: 1
  givenname: Brian
  surname: Berenbach
  fullname: Berenbach, Brian
  organization: Siemens Corporate Research, Inc
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17809610$$DView record in Pascal Francis
BookMark eNqFkD1PwzAURS1RJErpyO4FpqbYTmzHE6pK-ZBSsbSz9WI7JZDaJW4R_fcEpRIjd7nL0Xu65xINfPAOoWtKprzLnVK5kHyqlMpYfobGSuZECsUZFWk6QEPCJEk44_ICjWN8J104kSSnQ3S_enN48QXNAfZ18DhUuIB24yZ4Hra7xn3j9bLAMw_NMdYRg7f4wcV64_EyWNfEK3ReQRPd-NQjtH5crObPSfH69DKfFQlQJfeJKK1lNqO0YraUIrOkrIwklAMpOTOZYVUqUpHbnGUlkNxYYBVwU3agcXmWjtBtf3fXhs-Di3u9raNxTQPehUPUaTeVCkE78OYEQjTQVC14U0e9a-sttEdNOzVKUNJxk54Ds9VlCB9RU6J_depep-516rKtXfX3_x88_QGdH3Oc
ContentType Conference Proceeding
Copyright 2006 INIST-CNRS
Copyright_xml – notice: 2006 INIST-CNRS
DBID IQODW
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.5555/998675.999428
DatabaseName Pascal-Francis
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Applied Sciences
Computer Science
EndPage 241
ExternalDocumentID 17809610
Genre Conference Paper
GroupedDBID 6IE
6IH
6IK
6IL
AAJGR
AAVQY
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
LHSKQ
OCL
RIB
RIC
RIE
RIL
RIO
AAWTH
IQODW
-~X
123
23M
29O
5VS
6IM
6IN
7SC
8FD
8US
ADZIZ
AFFNX
AVWKF
CHZPO
FEDTE
I07
IPLJI
JQ2
L7M
L~C
L~D
M43
RNS
ID FETCH-LOGICAL-a197t-6bdd2d411f2db764d0bfc7015a0b52c4c2f36368d824ba08cda2fa5cbd0bce843
ISBN 9780769521633
0769521630
ISSN 0270-5257
IngestDate Sun Nov 09 13:49:58 EST 2025
Mon Jul 21 09:15:43 EDT 2025
Wed Jan 31 06:48:48 EST 2024
Sun Dec 01 06:31:06 EST 2024
IsPeerReviewed false
IsScholarly true
Keywords Unified modelling language
Software development
Semantics
Modeling
Heuristic method
Language English
License CC BY 4.0
LinkModel OpenURL
MeetingName ICSE04: 26th International Conference on Software Engineering
MergedId FETCHMERGED-LOGICAL-a197t-6bdd2d411f2db764d0bfc7015a0b52c4c2f36368d824ba08cda2fa5cbd0bce843
Notes SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
PQID 31631661
PQPubID 23500
PageCount 10
ParticipantIDs acm_books_10_5555_998675_999428
acm_books_10_5555_998675_999428_brief
pascalfrancis_primary_17809610
proquest_miscellaneous_31631661
PublicationCentury 2000
PublicationDate 20040523
2004
PublicationDateYYYYMMDD 2004-05-23
2004-01-01
PublicationDate_xml – month: 05
  year: 2004
  text: 20040523
  day: 23
PublicationDecade 2000
PublicationPlace Washington, DC, USA
PublicationPlace_xml – name: Washington, DC, USA
– name: Los Alamitos CA
PublicationSeriesTitle ACM Conferences
PublicationTitle International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004
PublicationYear 2004
Publisher IEEE Computer Society
Publisher_xml – name: IEEE Computer Society
SSID ssj0000507081
ssj0006499
Score 1.7826688
Snippet This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically...
SourceID proquest
pascalfrancis
acm
SourceType Aggregation Database
Index Database
Publisher
StartPage 232
SubjectTerms Applied sciences
Computer science; control theory; systems
Computing methodologies -- Modeling and simulation -- Model development and analysis
Computing methodologies -- Modeling and simulation -- Model development and analysis -- Model verification and validation
Exact sciences and technology
Software
Software and its engineering -- Software creation and management -- Software development process management -- Software development methods
Software and its engineering -- Software creation and management -- Software development process management -- Software development methods -- Rapid application development
Software and its engineering -- Software notations and tools -- General programming languages -- Language types
Software engineering
Theory of computation -- Logic -- Programming logic
Theory of computation -- Semantics and reasoning -- Program reasoning
Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications
Title The Evaluation of Large, Complex UML Analysis and Design Models
URI https://www.proquest.com/docview/31631661
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nb9QwELVoxYEbiCIWSvEBTiWQ2I4dnyqBiji0VSVa1JtlO7ZAKtlqs4X9-Z2J87G7IFUcyCGKrMiO5k3sN-PxDCFvLKYIx5O_Fv7qTFjLM8edzxSXToayiHmXS-_biTo7q66u9HlfEr7tygmopqlWK33zX6GGNgAbj87-A9xjp9AAzwA63AF2uG8x4r8uPudjYzvs_zO5_L7l-psO-uFuwVeYi39jCNhadsJtXToe04KnbYVFqsmO88l1WB1enp5MCU5SeDOGhnS11q4nVzyO6WwqP_VxMagmyiW0oBanax-26ZAQuJeezgyPRurhUJJiiD3dsFpzJTWwBsn5-szZuznTIsxSNqzt-b2EC0M6dAV2znvgtmA87ZAdpfJ0cm_0ruVAc4HsJD9NGqxP8DUNnjKuYpcfNjpEnuJ_YpCsbeE_ianAyR9rdUdALh6TvUkwdIL4CXkQmqfkCACiE0B0HmkH0Dvaw0MBHjrAQwEemuChCZ49cvn5-OLTl6yvjJHZQqtlJl1ds1oURWS1U1LUuYteAbOzuSuZF55FLrms6ooJZ_PK15ZFW3oHL_pQCf6M7DbzJjwnFBhiUVZcMSesCMFpaTkLotau1DIqMSOvQRoGFbw1YDGivEySl0nympG397xhHGhRnJGDDYmam5RPxRSAigYaD0MNIjYwyeHOlW3C_LY1HPAqgEm-uPdjXpJHk07uk93l4ja8Ig_9r-WPdnHQKckd20lpNA
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+26th+International+Conference+on+Software+Engineering&rft.atitle=The+Evaluation+of+Large%2C+Complex+UML+Analysis+and+Design+Models&rft.au=Berenbach%2C+Brian&rft.series=ACM+Conferences&rft.date=2004-05-23&rft.pub=IEEE+Computer+Society&rft.isbn=9780769521633&rft.spage=232&rft.epage=241&rft_id=info:doi/10.5555%2F998675.999428
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0270-5257&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0270-5257&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0270-5257&client=summon