-
2521
Using symbolic execution for verifying safety-critical systems.
Argitaratua izan da Software engineering notes.Artikulua -
2522
Modular verification of collaboration-based software designs.
Argitaratua izan da Software engineering notes.Artikulua -
2523
Automatic abstraction for model checking software systems with interrelated numeric constraints.
Argitaratua izan da Software engineering notes.Artikulua -
2524
An algebraic approach to file synchronization.
Argitaratua izan da Software engineering notes.Artikulua -
2525
A methodology for specifying and analyzing consistency of object-oriented behavioral models.
Argitaratua izan da Software engineering notes.Artikulua -
2526
Combining UML and formal notations for modelling real-time systems.
Argitaratua izan da Software engineering notes.Artikulua -
2527
WREN---an environment for component-based development.
Argitaratua izan da Software engineering notes.Artikulua -
2528
Engineering component-based net-centric systems for embedded applications.
Argitaratua izan da Software engineering notes.Artikulua -
2529
Behavioral contracts and behavioral subtyping.
Argitaratua izan da Software engineering notes.Artikulua -
2530
Analysis of the constraint solver in UNA based test data generation.
Argitaratua izan da Software engineering notes.Artikulua