Title :
Proceedings. 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Abstract :
The following topics are dealt with: component-based system design; computer-based system architecture; embedded systems; requirements engineering; IT management; wireless sensor networks; model-based system development; formal methods; software life cycle project management; high-autonomy systems.
Keywords :
Unified Modeling Language; embedded systems; formal specification; formal verification; object-oriented programming; project management; software architecture; software reliability; wireless sensor networks; IT management; component-based system design; computer-based system architecture; embedded systems; formal methods; high-autonomy systems; model-based system development; project management; requirements engineering; software life cycle; wireless sensor networks;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Conference_Location :
Greenbelt, MD, USA
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.2
