Sciweavers

10263 search results - page 182 / 2053
» From Use Cases to System Operation Specifications
Sort
View
TISSEC
2010
142views more  TISSEC 2010»
15 years 1 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...
UML
2001
Springer
15 years 11 months ago
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
Lionel C. Briand, Yvan Labiche
EUSFLAT
2003
205views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
The use of NNPLS algorithm for on-line calibration monitoring
The paper presents a specialised Partial Least Squares (PLS) algorithm for on-line calibration monitoring. At first, the basic scheme and philosophy of PEANO (Process Evaluation a...
Andreas Kirschner
FATES
2004
Springer
16 years 14 days ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
ACE
2004
163views Education» more  ACE 2004»
15 years 8 months ago
Adventure Cycles A Software Engineering Approach
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
John Paynter, Emma Sharkey