Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
Model-Driven Evolution of Software Architectures - Software and ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ElectricalEngineering,Mathematics&ComputerScience,UT.2006-<br />
15<br />
M.E. Warnier. Language Based<br />
SecurityforJava<strong>and</strong>JML.Faculty<br />
<strong>of</strong>Science,Mathematics<strong>and</strong>ComputerScience,RU.2006-16<br />
V.Sundramoorthy. AtHomeIn<br />
ServiceDiscovery. Faculty<strong>of</strong>ElectricalEngineering,Mathematics&<br />
ComputerScience,UT.2006-17<br />
B.Gebremichael. Expressivity<strong>of</strong><br />
TimedAutomata<strong>Model</strong>s. Faculty<br />
<strong>of</strong>Science,Mathematics<strong>and</strong>ComputerScience,RU.2006-18<br />
L.C.M. van Gool. Formalising<br />
Interface Specifications. Faculty<br />
<strong>of</strong>Mathematics<strong>and</strong>ComputerScience,TU/e.2006-19<br />
C.J.F. Cremers. Scyther - Semantics<strong>and</strong>Verification<strong>of</strong>Security<br />
Protocols. Faculty<strong>of</strong>Mathematics<br />
<strong>and</strong>ComputerScience,TU/e.2006-<br />
20<br />
J.V. Guillen Scholten. Mobile<br />
ChannelsforExogenousCoordination<br />
<strong>of</strong> Distributed Systems: Semantics,Implementation<strong>and</strong>Composition.<br />
Faculty<strong>of</strong>Mathematics<br />
<strong>and</strong>NaturalSciences,UL.2006-21<br />
H.A.deJong. FlexibleHeterogeneous<br />
S<strong>of</strong>tware Systems. Faculty<br />
<strong>of</strong>NaturalSciences,Mathematics,<br />
<strong>and</strong>ComputerScience,UvA.2007-<br />
01<br />
N.K.Kavaldjiev. Arun-timereconfigurable<br />
Network-on-Chip for<br />
streamingDSPapplications. Faculty<br />
<strong>of</strong> Electrical Engineering,<br />
Mathematics&ComputerScience,<br />
UT.2007-02<br />
M.vanVeelen.Considerationson<br />
<strong>Model</strong>ingforEarlyDetection<strong>of</strong>AbnormalitiesinLocallyAutonomous<br />
Distributed Systems. Faculty <strong>of</strong><br />
Mathematics <strong>and</strong> Computing Sciences,RUG.2007-03<br />
T.D.Vu. Semantics<strong>and</strong>Applications<strong>of</strong>Process<strong>and</strong>ProgramAlgebra.<br />
Faculty<strong>of</strong>NaturalSciences,<br />
Mathematics, <strong>and</strong> Computer Science,UvA.2007-04<br />
L. Br<strong>and</strong>án Briones. Theories<br />
for<strong>Model</strong>-basedTesting:Real-time<br />
<strong>and</strong>Coverage.Faculty<strong>of</strong>Electrical<br />
Engineering,Mathematics&ComputerScience,UT.2007-05<br />
I.Loeb.NaturalDeduction:SharingbyPresentation.Faculty<strong>of</strong>Science,<br />
Mathematics<strong>and</strong>Computer<br />
Science,RU.2007-06<br />
M.W.A.Streppel.Multifunctional<br />
GeometricDataStructures.Faculty<br />
<strong>of</strong>Mathematics<strong>and</strong>ComputerScience,TU/e.2007-07<br />
N.Trčka. SilentStepsinTransitionSystems<strong>and</strong>MarkovChains.Faculty<strong>of</strong>Mathematics<strong>and</strong>ComputerScience,TU/e.2007-08<br />
R. Brinkman. Searching in encrypteddata.<br />
Faculty<strong>of</strong>Electrical<br />
Engineering,Mathematics&ComputerScience,UT.2007-09<br />
A.vanWeelden. Puttingtypesto<br />
gooduse.Faculty<strong>of</strong>Science,Mathematics<strong>and</strong>ComputerScience,RU.<br />
2007-10<br />
J.A.R. Noppen. ImperfectInformation<br />
in S<strong>of</strong>tware Development
Change language