Sciweavers

3792 search results - page 380 / 759
» Techniques for Trusted Software Engineering
Sort
View
ICSM
2007
IEEE
16 years 1 months ago
NOREX: A Distributed Reengineering Environment
Several reengineering environments have been created to provide for a unified infrastructure in which various approaches can be employed together. While the collaboration between...
Mihai Balint, Petru Florin Mihancea, Tudor Gî...
RE
2007
Springer
16 years 27 days ago
The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
Norbert Seyff, Florian Graf, Paul Grünbacher,...
SCAM
2006
IEEE
16 years 24 days ago
Comparative Study of Refactoring Haskell and Erlang Programs
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
Huiqing Li, Simon Thompson
ISSRE
2005
IEEE
16 years 11 days ago
An Experimental Evaluation on Reliability Features of N-Version Programming
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
Xia Cai, Michael R. Lyu, Mladen A. Vouk
QSIC
2005
IEEE
16 years 10 days ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata