A formal approach to object-oriented software engineering (Q1608926): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767181 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3677154 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Process Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebra of communicating processes with abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4851564 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Semantic Comparison of Fusion and Syntropy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4270072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767179 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4271959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385539 / rank | |||
Normal rank |
Latest revision as of 12:34, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A formal approach to object-oriented software engineering |
scientific article |
Statements
A formal approach to object-oriented software engineering (English)
0 references
13 August 2002
0 references
integrated formal software engineering
0 references
OOSE
0 references
rewriting logic
0 references
Maude
0 references
reflection
0 references
process algebra
0 references