Information Systems: Theoretical and Formal Aspects - I.F.I.P.Working Conference Proceedings - Hardcover

Inhaltsangabe

This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.