Relationships between frameworks, reference models, designs, and artefacts

First Page		Document Content
Date: 2004-07-29 08:51:22 Computing Object-oriented programming Enterprise application integration Web services Service-oriented architecture Component-based software engineering Software framework Zachman Framework Spring Framework Software engineering Software architecture Information technology management		Relationships between frameworks, reference models, designs, and artefacts Add to Reading List Source URL: www.jisc.ac.uk Download Document from Source Website File Size: 862,81 KB Share Document on Facebook

	BGPStream: A Software Framework for Live and Historical BGP Data Analysis Chiara Orsini 1 , Alistair King1 , Danilo Giordano2 , Vasileios Giotsas1 , Alberto Dainotti1 1 CAIDA, UC San Diego 2 DocID: 1xVAn - View Document
	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 DocID: 1xUUp - View Document
	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA DocID: 1xTGL - View Document
	Dealing with Hardware in Embedded Software: A Retargetable Framework Based on the Devil Language Fabrice Mérillon, Gilles Muller To cite this version: Fabrice Mérillon, Gilles Muller. Dealing with Hardware in Embedded DocID: 1uWSK - View Document
	A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain DocID: 1uHbN - View Document