Die Methode “fOOSE” (formal Object-Oriented Software Engineering) exemplifiziert eine auf der “Unified Modeling Language” (UML) basierende, integrierte formale Softwareentwicklungsmethode: Jacobsons “Object-Oriented Software Engineering”-Methode (OOSE) wird um diagrammgestützte, formale Spezifikationen, Beweisverpflichtungen und Verfeinerungen erweitert. Die diagrammatischen UMLModelle werden u...

Let k be a field of characteristic different from 2. Let E/k be a finite separable extension with a k-linear involution σ. For every σ-symmetric element μ ∈ E∗, we define a hermitian scaled trace form by x ∈ E 7→ TrE/k(μxx). If μ = 1, it is called a hermitian trace form. In the following, we show that every even-dimensional quadratic form over a hilbertian field, which is not isomorphic to the ...

Introduction: Let A be a central simple algebra over a field k of characteristic different from 2. The quadratic form x ∈ A 7→ TrdA(x ) ∈ k is called the trace form of A, and is denoted by TA. This trace form has been studied by many authors (cf.[L], [LM], [Ti] et [Se], Annexe §5 for example). In particular, these classical invariants are well-known (loc.cit.). In [B], we have determined a diag...