Sciweavers

15885 search results - page 873 / 3177
» Strategic Software Engineering
Sort
View
FASE
2004
Springer
15 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ICSE
2000
IEEE-ACM
15 years 11 months ago
Investigating and improving a COTS-based software development
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra,...
ECSA
2008
Springer
15 years 9 months ago
Towards Independent Software Architecture Review
Abstract. Many software architecture evaluation methods, proposed by the research community, have a common problem of engaging the same architects to perform architecture design an...
Antony Tang, Fei-Ching Kuo, Man Fai Lau
FECS
2008
142views Education» more  FECS 2008»
15 years 9 months ago
Teaching Software Modeling and Design Based on The Science of Design and Science of Learning
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
Sukhamay Kundu
216
Voted
ICSEA
2009
IEEE
16 years 2 months ago
Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
Thomas Müller, Alois Knoll