First Page | Document Content | |
---|---|---|
Date: 2005-06-09 09:16:29Software Computing Formal methods Software engineering Dependability Quality Safety Safety engineering Systems engineering B-Method Project management Programming tool | RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1Add to Reading ListSource URL: rodin.cs.ncl.ac.ukDownload Document from Source WebsiteFile Size: 97,10 KBShare Document on Facebook |