2513 search results - page 51 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ECBS
2003
IEEE
14 years 3 months ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
IEE
2010
13 years 8 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...
CAISE
1997
Springer
14 years 2 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
TSE
2002
13 years 9 months ago
2002
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...