Sciweavers

8627 search results - page 39 / 1726
» Software Engineering Using RATionale
Sort
View
ICSE
1997
IEEE-ACM
14 years 2 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
APAQS
2001
IEEE
14 years 1 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...
CCE
2010
13 years 7 months ago
Extraction of biofuels and biofeedstocks from aqueous solutions using ionic liquids
Luke D. Simoni, Alexandre Chapeaux, Joan F. Brenne...
ICSE
2007
IEEE-ACM
14 years 10 months ago
Software Development Environments for Scientific and Engineering Software: A Series of Case Studies
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
Jeffrey C. Carver, Richard P. Kendall, Susan E. Sq...