Sciweavers

1672 search results - page 165 / 335
» On the Development of Software Product-Family Components
Sort
View
SIGADA
2005
Springer
15 years 12 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
IAJIT
2007
90views more  IAJIT 2007»
15 years 6 months ago
Software Reuse for Mobile Robot Applications Through Analysis Patterns
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
Dayang N. A. Jawawi, Safaai Deris, Rosbi Mamat
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Framework for Managing Traceability Relationships between Requirements and Architectures
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
Susanne A. Sherba, Kenneth M. Anderson
ICSE
2009
IEEE-ACM
16 years 1 months ago
Using quantitative analysis to implement autonomic IT systems
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
Radu Calinescu, Marta Z. Kwiatkowska
ICSM
2005
IEEE
16 years 2 days ago
IRiSS - A Source Code Exploration Tool
IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as a...
Denys Poshyvanyk, Andrian Marcus, Yubo Dong, Andre...