IGI Global Design Pattern Formalization Techniques Mar 2007 英文正式版(《設計模式形式化技術》 電子書)





軟體簡介:

IGIGlobalDesignPatternFormalizationTechniquesMar2007英文正式版(《設計模式形式化技術》電子書)


中文化說明:

內容說明:
書名：DesignPatternFormalizationTechniques《設計模式形式化技術》
編者：ToufikTaibi
出版商：IGIPublishing
發行日期：2007年3月30日
語言：英語
ISBN：1599042193
這是一本介紹設計模式的書，通過對不同設計模式形式化技術的講解，來滿足設計者不同需求。

英文說明:
Manyformalapproachesforpatternspecificationareemergingasameans
tocopewiththeinherentshortcomingsofinformaldescription.Design
PatternFormalizationTechniquespresentsmultiplemathematical,formal
approachesforpatternspecification,emphasizingonsoftware
developmentprocessesforengineeringdisciplines.DesignPattern
FormalizationTechniquesfocusesonformalizingthesolutionelementof
patterns,providingtangiblebenefitstopatternusers,researchers,
scholars,academicians,practitionersandstudentsworkinginthefield
ofdesignpatternsandsoftwarereuse.DesignPatternFormalization
Techniquesexplainsdetailsonseveralspecificationlanguages,allowing
readerstochoosethemostsuitableformaltechniquetosolvetheir
specificinquiries.