Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case.

Miriam C. Bergue Alves Cynthia Feitosa Leal

Published in: ISPE CE (2012)

Keyphrases

software development
concurrent engineering
software engineering
life cycle
autonomous agents
databases
mobile robot
software systems
engineering design