Segui
Mike Hinchey
Mike Hinchey
Lero-the Irish Software Engineering Research Centre
Email verificata su lero.ie
Titolo
Citata da
Citata da
Anno
Dynamic software product lines
S Hallsteinsen, M Hinchey, S Park, K Schmid
Computer 41 (4), 93-95, 2008
5582008
Seven more myths of formal methods
JP Bowen, MG Hinchey
IEEE software 12 (4), 34-41, 1995
5341995
Biologically Inspired Collaborative Computing
M Hinchey, A Pagnoni, FJ Rammig, H Schmeck
Springer Publishing Company, Incorporated, 2008
472*2008
Ten commandments of formal methods
JP Bowen, MG Hinchey
Computer 28 (4), 56-63, 1995
4041995
Applications of formal methods
MG Hinchey, JP Bowen
Prentice Hall, 1995
3661995
Swarms and swarm intelligence
MG Hinchey, R Sterritt, C Rouff
Computer 40 (4), 111-113, 2007
2632007
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
R Capilla, J Bosch, P Trinidad, A Ruiz-CortÚs, M Hinchey
Journal of Systems and Software 91, 3-23, 2014
2392014
An invitation to formal methods
H Saiedian
Computer 29 (04), 16-17, 1996
2161996
Fulfilling the vision of autonomic computing
S Dobson, R Sterritt, P Nixon, M Hinchey
Computer 43 (1), 35-41, 2010
2102010
NASA's swarm missions: The challenge of building autonomous software
W Truszkowski, M Hinchey, J Rash, C Rouff
IT professional 6 (5), 47-52, 2004
1902004
Ten commandments of formal methods... ten years later
JP Bowen, MG Hinchey
Computer 39 (1), 40-48, 2006
1792006
Autonomous and autonomic systems: A paradigm for future space exploration missions
WF Truszkowski, MG Hinchey, JL Rash, CA Rouff
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications andá…, 2006
1782006
Building dynamic software product lines
M Hinchey, S Park, K Schmid
Computer 45 (10), 22-26, 2012
1642012
Self-managing software
MG Hinchey, R Sterritt
Computer 39 (2), 107-109, 2006
1482006
ZUM'98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
JP Bowen, A Fett, MG Hinchey
Springer, 1998
139*1998
Model-Based Verification of Embedded Software.
H Shokry, M Hinchey
Computer 42 (4), 53-59, 2009
1282009
Autonomous and autonomic systems: with applications to NASA intelligent spacecraft operations and exploration systems
W Truszkowski, H Hallock, C Rouff, J Karlin, J Rash, M Hinchey, R Sterritt
Springer Science & Business Media, 2009
1262009
Concurrent systems: formal development in CSP
MG Hinchey, SA Jarvis
McGraw-Hill, Inc., 1995
1231995
Formal versus agile: Survival of the fittest
S Black, PP Boca, JP Bowen, J Gorman, M Hinchey
Computer 42 (9), 37-45, 2009
1172009
High-integrity system specification and design
JP Bowen, MG Hinchey
Springer Science & Business Media, 2012
1162012
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20