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.
TitlesintheIPADissertationSeriessince2002<br />
M.C.vanWezel.NeuralNetworks<br />
forIntelligentDataAnalysis: theoretical<strong>and</strong>experimentalaspects.Faculty<strong>of</strong>Mathematics<strong>and</strong>NaturalSciences,UL.2002-01<br />
V.Bos<strong>and</strong>J.J.T.Kleijn. Formal<br />
Specification <strong>and</strong> Analysis <strong>of</strong> IndustrialSystems.Faculty<strong>of</strong>Mathematics<strong>and</strong>ComputerScience<strong>and</strong><br />
Faculty<strong>of</strong>MechanicalEngineering,<br />
TU/e.2002-02<br />
T. Kuipers. Techniques for Underst<strong>and</strong>ingLegacyS<strong>of</strong>twareSystems.<br />
Faculty<strong>of</strong>NaturalSciences,<br />
Mathematics <strong>and</strong> Computer Science,UvA.2002-03<br />
S.P. Luttik. Choice Quantification<br />
in Process Algebra. Faculty<br />
<strong>of</strong>NaturalSciences,Mathematics,<br />
<strong>and</strong>ComputerScience,UvA.2002-<br />
04<br />
R.J.Willemen. SchoolTimetable<br />
Construction: Algorithms <strong>and</strong><br />
Complexity. Faculty<strong>of</strong>Mathematics<br />
<strong>and</strong> Computer Science, TU/e.<br />
2002-05<br />
M.I.A.Stoelinga. AleaJactaEst:<br />
Verification <strong>of</strong> Probabilistic, Realtime<strong>and</strong>ParametricSystems.Faculty<strong>of</strong>Science,<br />
Mathematics<strong>and</strong><br />
ComputerScience,KUN.2002-06<br />
N.vanVugt.<strong>Model</strong>s<strong>of</strong>Molecular<br />
Computing. Faculty<strong>of</strong>Mathematics<strong>and</strong>NaturalSciences,UL.2002-<br />
07<br />
A.Fehnker.Citius,Vilius,Melius:<br />
Guiding <strong>and</strong> Cost-Optimality in<br />
<strong>Model</strong>Checking<strong>of</strong>Timed<strong>and</strong>HybridSystems.<br />
Faculty<strong>of</strong>Science,<br />
Mathematics <strong>and</strong> Computer Science,KUN.2002-08<br />
R.vanStee. On-lineScheduling<br />
<strong>and</strong>BinPacking.Faculty<strong>of</strong>Mathematics<strong>and</strong>NaturalSciences,UL.<br />
2002-09<br />
D. Tauritz. Adaptive InformationFiltering:Concepts<strong>and</strong>Algorithms.<br />
Faculty <strong>of</strong> Mathematics<br />
<strong>and</strong>NaturalSciences,UL.2002-10<br />
M.B.v<strong>and</strong>erZwaag.<strong>Model</strong>s<strong>and</strong><br />
LogicsforProcessAlgebra.Faculty<br />
<strong>of</strong>NaturalSciences,Mathematics,<br />
<strong>and</strong>ComputerScience,UvA.2002-<br />
11<br />
J.I. den Hartog. Probabilistic<br />
Extensions <strong>of</strong> Semantical <strong>Model</strong>s.<br />
Faculty <strong>of</strong> Sciences, Division <strong>of</strong><br />
Mathematics <strong>and</strong> Computer Science,VUA.2002-12<br />
L. Moonen. Exploring S<strong>of</strong>tware<br />
Systems. Faculty<strong>of</strong>NaturalSciences,Mathematics,<strong>and</strong>Computer<br />
Science,UvA.2002-13<br />
J.I.vanHemert.Applying<strong>Evolution</strong>aryComputationtoConstraintSatisfaction<strong>and</strong>DataMining.Faculty<br />
<strong>of</strong> Mathematics <strong>and</strong> Natural<br />
Sciences,UL.2002-14<br />
S.Andova. ProbabilisticProcess<br />
Algebra. Faculty<strong>of</strong>Mathematics<br />
<strong>and</strong>ComputerScience,TU/e.2002-<br />
15<br />
Y.S. Usenko. Linearization in<br />
µCRL.Faculty<strong>of</strong>Mathematics<strong>and</strong><br />
ComputerScience,TU/e.2002-16<br />
J.J.D.Aerts. R<strong>and</strong>omRedundant<br />
StorageforVideoonDem<strong>and</strong>.Fac-