1390 search results - page 263 / 278 » A Methodology for Requirements Engineering Process Developme... |
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
194
click to vote
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
122
click to vote
SENSYS
2005
ACM
15 years 5 months ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
An Operational Information System (OIS) supports a real-time view of an organization’s information critical to its logistical business operations. A central component of an OIS ...
127
click to vote
TES
2001
Springer
15 years 4 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...