Sciweavers

276 search results - page 13 / 56
» Software Security Checklist for the Software Life Cycle
Sort
View
RE
2002
Springer
13 years 7 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
ICSE
2007
IEEE-ACM
14 years 7 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...
CORR
2010
Springer
166views Education» more  CORR 2010»
13 years 7 months ago
Software Metrics Evaluation Based on Entropy
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
R. Selvarani, T. R. Gopalakrishnan Nair, Muthu Ram...
WICSA
2004
13 years 9 months ago
Real World Influences on Software Architecture - Interviews with Industrial System Experts
Industrial systems are examples of complex and often long-lived systems in which software is playing an increasingly important role. Their architectures play a crucial role in mai...
Goran Mustapic, Anders Wall, Christer Norströ...
IUI
1993
ACM
13 years 11 months ago
Knowledgeable development environments using shared design models
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
Robert Neches, James D. Foley, Pedro A. Szekely, P...