5113 search results - page 619 / 1023 » Model-integrated system development: models, architecture, a... |
214
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
1799
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
178
click to vote
SSDBM
2003
IEEE
16 years 3 days ago
2003
IEEE
Current data management approaches can easily handle the relatively simple requirements for molecular biology research but not the more varied and sophisticated microscopy imaging...
209
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
149
click to vote
LSO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...