Title :
ASSL: A Software Engineering Approach to Autonomic Computing
Author :
Vassev, Emil ; Hinchey, Mike
Author_Institution :
Lero the Irish Software Eng. Res. Centre, Univ. Coll. Dublin, Dublin, Ireland
fDate :
6/1/2009 12:00:00 AM
Abstract :
ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
Keywords :
formal specification; ASSL; autonomic computing; code generation; formal specification; formal validation; software engineering approach; Biology computing; Communications technology; Computer architecture; Costs; Humans; Maintenance engineering; Software engineering; Software maintenance; Software systems; Sun; ASSL; Autonomic computing; Keywords: Software technologies; Software engineering;
DOI :
10.1109/MC.2009.174
