369 search results - page 47 / 74 » Requirements Engineering for Industrial Systems: No Easy Ans... |
VRML
2004
ACM
15 years 3 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
AIM
2004
14 years 9 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...