561 search results - page 37 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
172
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
159
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
177
click to vote
CMG
2001
15 years 7 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
159
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
146
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...