To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Ursula Goltz

From Wikipedia, the free encyclopedia

Ursula Goltz
NationalityGerman
Alma materRWTH Aachen University
Known forIntroduction of action refinement in concurrent systems theory
Scientific career
FieldsComputer science
InstitutionsTechnical University of Braunschweig
Thesis'Über die Darstellung von CCS-Programmen durch Petrinetze' (1988)

Ursula Goltz is a German computer scientist, professor emerita at the Technical University of Braunschweig, formerly affiliated with the Institute for Programming and Reactive Systems there,[1] and former coordinator of a German Research Foundation program on long-lasting software systems.[2] Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH Aachen University in 1988, with the dissertation, Über die Darstellung von CCS-Programmen durch Petrinetze.[3]

In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of Niklaus Wirth's concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek.[4] She is also one of the developers of Arden2ByteCode, a compiler for the Arden syntax for representing medical knowledge.[5]

References

  1. ^ "Informatik: Emeritierte/Im Ruhestand befindliche Professoren", Institute der Carl-Friedrich-Gauß-Fakultät (in German), Technical University of Braunschweig, retrieved 2021-10-17
  2. ^ Professorin Ursula Goltz koordiniert neuen DFG-Schwerpunkt für langlebige Softwaresysteme [Professor Ursula Goltz coordinates the new DFG focus on durable software systems] (Press release) (in German), Technical University of Braunschweig, 21 April 2011, retrieved 2021-10-17
  3. ^ Ursula Goltz at the Mathematics Genealogy Project
  4. ^ Van Glabbeek, Rob, Action refinement, retrieved 2021-10-17
  5. ^ Contact the Arden2ByteCode team, Technical University of Braunschweig, retrieved 2021-10-17
This page was last edited on 23 September 2023, at 22:45
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy