Achieving dependability in sensor networks through automated requirements-based programming
Hinchey, Michael G., Rash, James L., Rouff, Christopher A., Gračanin, Denis
Published in Computer communications (10.01.2006)
Published in Computer communications (10.01.2006)
Get full text
Journal Article
Model-based evolution of collaborative agent-based systems
Bohner, Shawn A., Graĉanin, Denis, Hinchey, Michael G., Eltoweissy, Mohamed
Published in Journal of the Brazilian Computer Society (01.12.2007)
Published in Journal of the Brazilian Computer Society (01.12.2007)
Get full text
Journal Article
Challenges in the successful transfer of formal methods technology into industrial applications
Saiedian, Hossein, Hinchey, Michael G.
Published in Information and software technology (01.05.1996)
Published in Information and software technology (01.05.1996)
Get full text
Journal Article
Innovative concepts for autonomic and agent-based systems: second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 ; revised papers
Hinchey, Michael G, Rago, Patricia, Rash, James L, Rouff, Christopher A, Truszkowski, Walt
Year of Publication 30.07.2014
Get full text
Year of Publication 30.07.2014
eBook
Designing and managing evolving systems using a MAS product line approach
Peña, Joaquin, Hinchey, Michael G., Resinas, Manuel, Sterritt, Roy, Rash, James L.
Published in Science of computer programming (15.04.2007)
Published in Science of computer programming (15.04.2007)
Get full text
Journal Article
Experiences applying formal approaches in the development of swarm-based space exploration systems
Rouff, Christopher A., Hinchey, Michael G., Truszkowski, Walter F., Rash, James L.
Published in International journal on software tools for technology transfer (01.11.2006)
Published in International journal on software tools for technology transfer (01.11.2006)
Get full text
Journal Article
Building and implementing policies in autonomous and autonomic systems using MaCMAS: A case study based on a NASA concept mission
Peña, Joaquin, Hinchey, Michael G., Sterritt, Roy, Ruiz-Cortés, Antonio
Published in Innovations in systems and software engineering (12.02.2007)
Published in Innovations in systems and software engineering (12.02.2007)
Get full text
Journal Article
Next generation system and software architectures
Sterritt, Roy, Rouff, Christopher A., Hinchey, Michael G., Rash, James L., Truszkowski, Walt
Published in Science of computer programming (01.06.2006)
Published in Science of computer programming (01.06.2006)
Get full text
Journal Article