Informatik (15.201 Artikel)

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software...

Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tool...

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers...

Z2Z4-Linear Codes

Z2Z4-Linear Codes

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented toget...

Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Ch...

Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification --Extended Abstract--.- Visualising Larger State Spaces in Pro B.- Non-atomic Refinement in Z and CSP...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the onl...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, , held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three ...

1 Was ist Information?.- 1.1 Der Informations-Begriff.- 1.2 Information in der betrieblichen Kommunikation.- 1.3 Zusammenhang zwischen Information und Daten.- 1.4 Schlußfolgerungen.- 2 Was ist Info...

Die Autorin stellt einen Gestaltungsrahmen für die wirtschaftswissenschaftliche EDV-Grundausbildung vor. Damit sollen einerseits breite Kenntnisse auf dem Gebiet der Informationsverarbeitung und de...

DE

1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2....