1601 search results - page 62 / 321 » The affordable application of formal methods to software eng... |
APSEC
2001
IEEE
14 years 22 days ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
TSE
1998
13 years 8 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...