1481 search results - page 90 / 297 » Enriching the Software Development Process by Formal Methods |
126
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
116
Voted
METRICS
1998
IEEE
15 years 7 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
152
Voted
APPINF
2003
15 years 4 months ago
2003
Due to increasing size and complexity of hypermedia and web applications, there is growing concern by how to develop quality, reusable and maintainable hypermedia systems. In fact...
134
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
122
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...