|
LePUS3 is a language for modelling and visualizing object-oriented (Java, C++, C#) programs and design patterns.〔(【引用サイトリンク】 title=Modelling Design Patterns, Chapter 11 in Codecharts: Roadmaps and Blueprints for Object-Oriented Programs )〕 It is defined as a formal specification language,〔 〕〔 〕 formulated as an axiomatized subset of First-order predicate logic. A diagram in LePUS3 is also called a Codechart.〔(Codechart, formal definition )〕 LePUS, the name of the first version of the language, is an abbreviation for ''Language for Pattern Uniform Specification''. == Purpose == LePUS3 is tailored for the following purposes: * ''Scalability'': To model large-scale programs using small Codecharts with only few symbols * ''Automated verifiability'': To allow programmers to check fully automatically conformance to design so as to keep the design in synch with the implementation * ''Program visualization'': To allow tools to reverse-engineer legible Codecharts from plain source code modeling their design * ''Pattern implementation'': To allow tools to determine automatically whether your program implements a design pattern * ''Design abstraction'': To specify unimplemented programs without committing prematurely to implementation minutiae * ''Generality'': To model a design pattern not as a specific implementation but as a design motif * ''Rigour'': To allow software designers to be sure exactly what Codecharts represent and reason rigorously about them 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「LePUS3」の詳細全文を読む スポンサード リンク
|