Information Systems / Software Engineering / Formal method / Conceptual Model / Formal language / Life Cycle / UML Class Diagram / Seismic analysis and design / Use Case / Object Oriented / Life Cycle / UML Class Diagram / Seismic analysis and design / Use Case / Object Oriented