Trustworthy software systems. by Bernstein, Larry

Reasoning about partial goal satisfaction for requirements and design engineering. by Letier, Emmanuel

Using an SQL coverage measurement for testing database applications. by Suárez-Cabal, María José

Software performance modelling using PEPA nets. by Gilmore, Stephen

A graph based architectural (Re)configuration language. by Wermelinger, Michel

Modular verification of collaboration-based software designs. by Fisler, Kathi

Analysis of the constraint solver in UNA based test data generation. by Edvardsson, Jon

STG a tool for generating symbolic test programs and oracles from operational specifications. by Clarke, Duncan

Optimal allocation of intermittent embedded generator with time-varying generation and demand and types of load considerations by Aguirre, Rodolfo A. Jr

DOE mandates WESM registration of self-generating power assets. IN Business News.

Get full text