Sciweavers

292 search results - page 20 / 59
» Why complex systems engineering needs biological development
Sort
View
EUROMICRO
2003
IEEE
14 years 2 months ago
Drivers and inhibitors to the development of a software component industry
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
Heiko Hahn, Klaus Turowski
FTCS
1998
79views more  FTCS 1998»
13 years 10 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
TASE
2008
IEEE
13 years 8 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
C3S2E
2008
ACM
13 years 9 months ago
Concurrent software engineering: preparing for paradigm shift
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
Peter Grogono, Brian Shearing
ICSM
2002
IEEE
14 years 1 months ago
Columbus - Reverse Engineering Tool and Schema for C++
One of the most critical issues in large-scale software development and maintenance is the rapidly growing size and complexity of software systems. As a result of this rapid growt...
Rudolf Ferenc, Árpád Beszédes...