Found: 9
Select item for more details and to access through your institution.
Automatic maintenance of association invariants.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 287, doi. 10.1007/s10270-008-0085-0
- By:
- Publication type:
- Article
Flexible and configurable verification policies with Omnibus.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 257, doi. 10.1007/s10270-007-0060-1
- By:
- Publication type:
- Article
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 273, doi. 10.1007/s10270-007-0072-x
- By:
- Publication type:
- Article
Software engineering and formal methods.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 255, doi. 10.1007/s10270-008-0091-2
- By:
- Publication type:
- Article
Fair treatment of evaluations in reviews.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 253, doi. 10.1007/s10270-008-0096-x
- By:
- Publication type:
- Article
Improving the accuracy of UML metamodel extensions by introducing induced associations.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 361, doi. 10.1007/s10270-007-0062-z
- By:
- Publication type:
- Article
A methodology for the selection of requirements engineering techniques.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 303, doi. 10.1007/s10270-007-0055-y
- By:
- Publication type:
- Article
MDA Tool Components: a proposal for packaging know-how in model driven development.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 329, doi. 10.1007/s10270-007-0058-8
- By:
- Publication type:
- Article
Reducing accidental complexity in domain models.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 3, p. 345, doi. 10.1007/s10270-007-0061-0
- By:
- Publication type:
- Article