Citation for published version (APA): Saaman, E. H. (2000). Another formal specification language Groningen: s.n.
|
|
- Joanna van de Velde
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 University of Groningen Another formal specification language Saaman, Erik Harald IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document Version Publisher's PDF, also known as Version of record Publication date: 2000 Link to publication in University of Groningen/UMCG research database Citation for published version (APA): Saaman, E. H. (2000). Another formal specification language Groningen: s.n. Copyright Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons). Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Downloaded from the University of Groningen/UMCG research database (Pure): For technical reasons the number of authors shown on this cover page is limited to 10 maximum. Download date:
2 SAMENVATTING Dit proefschrift is het verslag van de ontwikkeling van de nieuwe formele specificatietaal AFSL die speciaal bedoeld is voor de beschrijving van software. Behandeld worden de rol van formele specificatie in software-ontwikkeling, de algemene principes van formele specificatietalen, de ontstaansgeschiedenis van AFSL, de redenen om een nieuwe taal te maken, de definitie van de taal, ontwerpoverwegingen, voorbeelden van het gebruik en ideeën voor mogelijke verbeteringen aan de taal. De afkorting AFSL staat voor Almost Formal Specification Language waarbij Almost refereert naar de mogelijkheid om (niet formele) natuurlijke taal te gebruiken binnen het verder formele AFSL. In de titel Another Formal Specification Language refereert Another naar het feit dat er al veel formele specificatietalen bestaan (misschien al genoeg), maar het geeft ook aan dat AFSL anders is. Een specificatie is een beschrijving van de eigenschappen van een ding. Een specificatie is formeel als hij aan bepaalde vormafspraken voldoet zodat de doelgroep de beschrijving begrijpt. Voorbeelden van specificaties zijn de partituur van een muziekstuk, een patroon van een bruidsjurk en het elektronisch schema van een radio. Het is vaak van belang om een specificatie te hebben voordat het ding gemaakt wordt omdat het proces anders in chaos ontaardt. Je kunt een groep bouwvakkers immers geen huis laten bouwen door ze alleen te vertellen wat het gewenste vloeroppervlak en aantal kamers zijn. De hierboven gegeven voorbeelden hebben allemaal een verschillende mate van formaliteit. De noten in de partituur geven bijvoorbeeld toonhoogte aan maar bepalen niet de klankkleur van de noten. Dat is de reden waarom dirigent en musici zo n belangrijke rol spelen bij de interpretatie van van een muziekstuk. Het patroon maakt gebruik van speciale symbolen die een geschoolde kleermaker voldoende aanwijzingen geeft om de jurk precies op maat te maken, ook al zegt het nog niks over de kleur stof. Het elektronisch schema tenslotte maakt gebruik van zulke gestandaardiseerde symbolen dat elke elektronicus er een radio mee kan maken. De notatie die gebruikt wordt voor een specificatie noemen we een specificatietaal. Notenschrift is een specificatietaal, maar ook de symbolen die gebruikt worden in een patroon. Een specificatietaal is formeel als deze zodanig is gestandaardiseerd dat er geen ruimte is voor interpretatieverschillen. Notenschrift is dus niet echt een formele specificatietaal maar de notatie voor elektronische schema s wel. Hebben we specificaties nodig voor het maken van software? Er bestaat veel ergenis over de kwaliteit van software en de slechte beheersbaarheid van het bijbehorende ontwikkelproces. Er is een aantal redenen waarom het moeilijk is software te maken. Software is meestal te omvangrijk om door één persoon begrepen te worden. Het is moeilijk om vast te stellen aan welke eisen precies voldaan moet voldoen. De onderlinge samenhang tussen verschillende onderdelen maakt het moeilijk om veranderingen aan te brengen. Het maken van software is een denkproces waarbij de redenen om een bepaalde beslissing te nemen niet altijd ex-
3 pliciet worden gemaakt. Ten slotte is de omgeving waarbinnen de software moet opereren is vaak moeilijk te doorgronden. Bij al deze aspecten is communicatie een belangrijke element, specificaties kunnen daarbij een belangrijke rol spelen. Bijvoorbeeld bij het vastleggen van afspraken, documenteren van ontwerpbeslissingen, beschrijven van de verschillende onderdelen van de software, beschrijven van de omgeving, beschrijving van standaarden, etc. Een bijkomend voordeel van het maken van specificaties is dat het de betrokken partijen dwingt goed na te denken over het op te lossen probleem. Er zijn verschillende soorten specificatietalen. Het meest voorkomend zijn symbolische talen (waarbij met letters en woorden gewerkt wordt) en grafische talen (waarbij met plaatjes gewerkt wordt). Over het algemeen vatten grafische beschrijvingen slechts deelaspecten van een compleet systeem, zoals bijvoorbeeld de relaties tussen gegevens die verwerkt worden. Als een grafische taal gebruikt wordt voor een volledige specificatie worden de plaatje al gauw te ingewikkeld. Een uitgangpunt van dit proefschrift is het kunnen maken van volledige specificaties, daarom is gekozen voor een symbolische taal. Veel symbolische specificaties van software worden geschreven in natuurlijke taal (Nederlands, Engels, etc.). Het nadeel van natuurlijke taal is dat hij vaak niet goed gebruikt wordt, op verschillende manieren begrepen kan worden en moeilijk automatisch te verwerken is. Een andere symbolische taal die in kleine kring gebruikt wordt, vooral in de wetenschap, is die van de wiskunde. Deze taal is minder dubbelzinnig dan natuurlijke taal en leent zich bovendien bij uitstek voor systematische analyse van software, zoals het correct bewijzen van programma s. Toch is ook de taal van de wiskunde niet gestandaardiseerd en leent zich ook slecht voor automatische verwerking. Daar komt nog eens bij dat hij moeilijk in het gebruik is. Kortom, voor de specificatie van software is een echte formele taal het meest gewenst. Er bestaat een veelheid aan formele talen. De bekendste van deze talen is de eerste-orde predikatenlogica en gerelateerd daaraan de logische programmeertaal Prolog. In principe kunnen de meeste formele talen gebruikt worden voor de specificatie van software. In de praktijk leidt dat echter tot omslachtige en daardoor onbegrijpelijke specificaties. Bovendien sluiten deze algemene talen slecht aan bij de rest van het software-ontwikkelproces. Daarom bestaan er talen die speciaal gemaakt zijn voor de specificatie van software. Veel van deze talen zijn ontwikkeld om gebruikt te kunnen worden voor het correct bewijzen van programma s, maar daar is AFSL niet voor bedoeld. Als gevolg daarvan ontbreken bijvoorbeeld bewijsregels. Nu we weten dat specificeren zinvol kan zijn en dat daar bij voorkeur een formele taal voor gebruikt moet worden kunnen we dus aan de slag. Helaas ligt dat niet zo simpel. De huidige formele specificatietalen zijn zo ingewikkeld dat ze een opleiding vergen die een stuk verder gaat dan een programmeeropleiding. Los daarvan is het boven tafel krijgen van specificaties geen eenvoudige taak, daarvoor is veel inzicht en ervaring nodig. Het zou daarom helpen als er een methode was voor het maken van formele specificaties. Deze methode zou moeten bestaan uit een specificatietaal plus aanwijzingen en hulpmiddelen voor het gebruik van deze taal. Zo n methode bestaat niet, met name ontbreekt het aan concrete aanwijzingen voor het opstellen van specificaties. Dit is de aanleiding geweest voor het starten van een onderzoek met als doel het ontwikkelen van een specificatiemethode. Uitgangspunt vormde daarbij de ideeën uit objectgeorienteerde methoden, aangezien die zich nadrukkelijk richten op het beschrijven van systemen. Onderdeel van het onderzoek was een tweetal praktijkstudies. Gebaseerd op de wensen voor de specificatiemethode is een aantal eisen opgesteld waar-
4 aan de te gebruiken specificatietaal moest voldoen. De taal moet eenvoudig zijn zodat hij gemakkelijk te leren en automatisch te verwerken is. Natuurlijke taal moet toegestaan zijn zodat een informele specificatie stapsgewijs omgezet kan worden naar een formele. De taal moet bruikbaar zijn in alle fasen van software-ontwikkeling om vertaalproblemen tussen opeenvolgende fasen te voorkomen. De taal moet algemeen toepasbaar voor willekeurige probleemgebieden zodat methode en deelspecificaties hergebruikt kunnen worden. Objectgeorienteerde concepten zoals klassificatie, inheritance, encapsulation en polymorfisme moeten ondersteund worden. Een modulemechanisme met parameters moet hergebruik ondersteunen. Er bleek geen taal beschikbaar te zijn die in voldoende mate voldeed aan al deze eisen. Daarom is besloten een nieuwe taal te maken, dat is AFSL geworden. AFSL is gebaseerd op de eerste-orde predikatenlogica, daarnaast hebben de specificatietalen COLD, EHDM en LSL grote invloed gehad. Belangrijke eigenschappen van AFSL zijn: eenvoudige basistaal waarbij alle geavanceerde mogelijkheden terugvertaald kunnen worden naar deze basis; natuurlijke taal is toegestaan in informele definities; functies kunnen impliciet gebruikt worden voor het converteren van functie-argumenten naar de benodigde vorm, dit maakt een vorm van inheritance mogelijk; modulen zijn sjablonen, bij import worden moduleparameters tekstueel vervangen door de opgegeven argumenten; polymorfie is gebaseerd op overloading. De belangrijkste innovatie van AFSL is echter de manier waarop zogenaamde nietfunctionele eigenschappen worden behandeld. De niet-functionele eigenschappen van een operatie zijn verborgen aspecten die vallen buiten het pure functionele input/output-gedrag. Voorbeelden hiervan zijn: afhandeling van foutmeldingen, lezen en schrijven van variabelen en communicatie met andere processen. Niet-functionele eigenschappen worden in AFSL op een vergelijkbare manier behandeld als bij de programmeertaal Haskell (het zogenaamde monads-mechanisme). Uitgangspunt hierbij is dat niet-functionele informatie wordt verpakt in het resultaat van de operatie. Speciale uitpakoperaties zijn nodig om de niet-functionele informatie verder te verwerken. Het nadeel hiervan is dat de verwerking van niet-functionele eigenschappen zichtbaar is binnen de specificatie, waardoor deze soms moeilijk te begrijpen is. AFSL heeft daarom de unieke mogelijkheid om via zogenaamde application redirection de uitpakoperaties impliciet toe te passen, waardoor ze niet meer zichtbaar zijn. Alhoewel de huidige versie van AFSL heel dicht in de buurt komt van de originele eisen, zijn er toch een aantal verbeteringen mogelijk: type-polymorfisme zal specificaties eenvoudiger maken, met name door de beperking van het aantal module-imports; flexibelere syntax voor functie-applicaties zal formuleringen toestaan die dichter staan bij wat gebruikelijk is binnen een bepaald domein; hogere-orde functies zullen een eenvoudiger behandeling van niet-functionele eigenschappen mogelijk maken; operationele semantiek maakt validatie en implementaie van specificaties eenvoudiger. Al deze verbeteringen vergen echter fundamentele aanpassingen aan AFSL, daarom zijn ze in de huidige versie niet opgenomen. Het is uiteindelijk niet gelukt om een methode van specificeren te ontwikkelen. Hiervoor zijn twee oorzaken aan te wijzen. Ten eerste kostte het ontwerpen en bestuderen van AFSL veel meer werk dan verwacht. De verschillende aspecten van een taal hebben vaak invloed op elkaar. Zo staan syntax, overloading, impliciete functies en application redirection in verband met elkaar omdat ze allemaal tot ambiguiteiten kunnen leiden. Verandering aan één aspect heeft daardoor vaak gevolgen voor de rest. Daarnaast zijn er weinig richtlijnen en hulpmiddelen voor het ontwikkelen van formele talen. Met name het ontbreken van een algemeen geaccepteerd mechanisme voor het definiëren van de semantiek was een grote handicap. De
5 tweede moeilijkheid bij het ontwikkelen van de methode was het ontbreken van bruikbare kennis waar op voortgebouwd kon worden. Bestaande objectgeorienteerde methoden bleken weinig concrete aanwijzingen te bevatten voor het het maken van modellen, meestal beperken ze zich tot de uitleg van de gebruikte notatie en voorbeelden van het gebruik. Achteraf is het de vraag of het wel mogelijk is richtlijnen te formuleren voor het maken van specificaties. Daarvoor is het proces nog te onbegrepen, bovendien is het heel moeilijk richtlijnen eenduidig te formuleren. In eerste instantie zullen we ons daarom moeten richten op het ontwikkelen van goede talen en automatische hulpmiddelen. Ondanks het niet vinden van de heilige graal is het onwikkelen van AFSL geen zinloze onderneming geweest. Een aantal belangrijke aspecten zijn aan de orde gekomen die van belang zijn voor de brede toepasbaarheid van formele specificatie. Als zodanig vormt dit proefschrift een proeftuin voor taalontwerp. De combinatie van taaleigenschappen is hierbij van groot belang, te vaak worden deze in isolatie bestudeerd zonder daarbij aandacht te besteden aan de practische toepasbaarheid binnen een groter geheel.
Van 'gastarbeider' tot 'Nederlander' Prins, Karin Simone
Van 'gastarbeider' tot 'Nederlander' Prins, Karin Simone IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version
Nadere informatieImproving the properties of polymer blends by reactive compounding van der Wal, Douwe Jurjen
University of Groningen Improving the properties of polymer blends by reactive compounding van der Wal, Douwe Jurjen IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF)
Nadere informatieUniversity of Groningen. Up2U Harder, Annemiek T.; Eenshuistra, Annika
University of Groningen Harder, Annemiek T.; Eenshuistra, Annika IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
Nadere informatieDe betrouwbaarheid van kleinschalige methoden voor waterzuivering Kaaij, Rachel van der
University of Groningen De betrouwbaarheid van kleinschalige methoden voor waterzuivering Kaaij, Rachel van der IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you
Nadere informatieUniversity of Groningen. De afkoelingsperiode in faillissement Aa, Maria Josepha van der
University of Groningen De afkoelingsperiode in faillissement Aa, Maria Josepha van der IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it.
Nadere informatieLaat maar zitten Janssen, Janine Hubertina Lambertha Joseph
Laat maar zitten Janssen, Janine Hubertina Lambertha Joseph IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version
Nadere informatieCitation for published version (APA): Mazzola, P. (2016). Phenylketonuria: From body to brain [Groningen]: Rijksuniversiteit Groningen
University of Groningen Phenylketonuria Mazzola, Priscila IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version
Nadere informatieUniversity of Groningen
University of Groningen Opvoeding op school en in het gezin. Onderzoek naar de samenhang tussen opvoeding en de houding van jongeren ten opzichte van sociale grenzen Mooren, Francisca Catharina Theodora
Nadere informatieBouwen op een gemeenschappelijk verleden aan een succesvolle toekomst Welling, Derk Theodoor
University of Groningen Bouwen op een gemeenschappelijk verleden aan een succesvolle toekomst Welling, Derk Theodoor IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF)
Nadere informatieNeuroanatomical changes in patients with loss of visual function Prins, Doety
Neuroanatomical changes in patients with loss of visual function Prins, Doety IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieProcesevaluatie van het Navigator project Jager, John Mike
Procesevaluatie van het Navigator project Jager, John Mike IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version
Nadere informatieDynamics of inner ear pressure change with emphasis on the cochlear aqueduct Laurens-Thalen, Elisabeth Othilde
University of Groningen Dynamics of inner ear pressure change with emphasis on the cochlear aqueduct Laurens-Thalen, Elisabeth Othilde IMPORTANT NOTE: You are advised to consult the publisher's version
Nadere informatieMensen met een verstandelijke handicap en sexueel misbruik Kooij, D.G.
Mensen met een verstandelijke handicap en sexueel misbruik Kooij, D.G. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieCitation for published version (APA): Verbakel, N. J. (2007). Het Chronische Vermoeidheidssyndroom, Fibromyalgie & Reuma.
University of Groningen Het Chronische Vermoeidheidssyndroom, Fibromyalgie & Reuma. Verbakel, N. J. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieInteractie als gereedschap Koole, Tom
Interactie als gereedschap Koole, Tom IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieUniversity of Groningen
University of Groningen Jongeren in de jeugdzorg en risicofactoren van zwerfgedrag. Een onderzoek naar de bijdrage van risicofactoren van zwerfgedrag op de duur van zorggebruik bij jongeren in de jeugdzorg.
Nadere informatieUniversity of Groningen. Eerste Hulp vaker ter plaatse Verhage, Vera
University of Groningen Eerste Hulp vaker ter plaatse Verhage, Vera IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
Nadere informatieSchoolsucces van Friese leerlingen in het voortgezet onderwijs de Boer, Hester
Schoolsucces van Friese leerlingen in het voortgezet onderwijs de Boer, Hester IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieEen model voor personeelsbesturing van Donk, Dirk
Een model voor personeelsbesturing van Donk, Dirk IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.
Nadere informatieUniversity of Groningen. Electron Holography of Nanoparticles Keimpema, Koenraad
University of Groningen Electron Holography of Nanoparticles Keimpema, Koenraad IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieUniversity of Groningen. Zorgvermijding en zorgverlamming Schout, Hendrik Gerrit
University of Groningen Zorgvermijding en zorgverlamming Schout, Hendrik Gerrit IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieDraagvlak migratiebeleid Postmes, Thomas; Gordijn, Ernestine; Kuppens, T.; Gootjes, Frank; Albada, Katja
University of Groningen Draagvlak migratiebeleid Postmes, Thomas; Gordijn, Ernestine; Kuppens, T.; Gootjes, Frank; Albada, Katja IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's
Nadere informatieUniversity of Groningen. Hulp op maat voor leerlingen met leerproblemen in het vmbo Mombarg, Remo
University of Groningen Hulp op maat voor leerlingen met leerproblemen in het vmbo Mombarg, Remo IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieQuantitative STIR MRI as prognostic imaging biomarker for nerve regeneration Viddeleer, Alain
University of Groningen Quantitative STIR MRI as prognostic imaging biomarker for nerve regeneration Viddeleer, Alain IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF)
Nadere informatieCitation for published version (APA): Veeze, P. (1968). Rationale and methods of early detection in lung cancer. [S.n.].
University of Groningen Rationale and methods of early detection in lung cancer. Veeze, Piet IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from
Nadere informatieUniversity of Groningen
University of Groningen STERK in het werk. Een kwalitatief onderzoek naar de adoptie van een programma gericht op het Stimuleren van Eigen Regie en Kwaliteit van leven (STERK) van nierpatiënten door zorgverleners
Nadere informatieIntrapersonal factors, social context and health-related behavior in adolescence Veselska, Zuzana
University of Groningen Intrapersonal factors, social context and health-related behavior in adolescence Veselska, Zuzana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's
Nadere informatieZorgen rondom IVF Boekaar, J.; Riemersma, M.
Zorgen rondom IVF Boekaar, J.; Riemersma, M. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieMolecular aspects of HNPCC and identification of mutation carriers Niessen, Renee
Molecular aspects of HNPCC and identification of mutation carriers Niessen, Renee IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieUniversity of Groningen. De besmettelijkheid van de ftisis Groenhuis, Dirk Johan Jacob
University of Groningen De besmettelijkheid van de ftisis Groenhuis, Dirk Johan Jacob IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieCitation for published version (APA): Hoekstra, H. J. (1982). Fractures of the proximal femur in children and adolescents [S.n.]
University of Groningen Fractures of the proximal femur in children and adolescents Hoekstra, Harald IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to
Nadere informatieMultiple sclerose Zwanikken, Cornelis Petrus
Multiple sclerose Zwanikken, Cornelis Petrus IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieCitation for published version (APA): Scheepstra, A. J. M. (1998). Leerlingen met Downs syndroom in de basisschool Groningen: s.n.
University of Groningen Leerlingen met Downs syndroom in de basisschool Scheepstra, Adriana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from
Nadere informatieUniversity of Groningen. Inferior or superior Carmona Rodriguez, Carmen
University of Groningen Inferior or superior Carmona Rodriguez, Carmen IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieUniversity of Groningen. Vrije en reguliere scholen vergeleken Steenbergen, Hilligje
University of Groningen Vrije en reguliere scholen vergeleken Steenbergen, Hilligje IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieElectric double layer interactions in bacterial adhesion and detachment Poortinga, Albert Thijs
University of Groningen Electric double layer interactions in bacterial adhesion and detachment Poortinga, Albert Thijs IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF)
Nadere informatieHypothalamus, pituitary and thyroid. The control system of thyroid hormone production. Sluiter, Wim J.
University of Groningen Hypothalamus, pituitary and thyroid. The control system of thyroid hormone production. Sluiter, Wim J. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's
Nadere informatieCitation for published version (APA): Roodenburg, J. L. N. (1985). CO2-laserchirurgie van leukoplakie van het mondslijmvlies. [S.l.]: [S.n.].
University of Groningen CO2-laserchirurgie van leukoplakie van het mondslijmvlies Roodenburg, Johannes Leendert Nicolaas IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's
Nadere informatieMultiple sclerose Zwanikken, Cornelis Petrus
Multiple sclerose Zwanikken, Cornelis Petrus IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieImproving metabolic control in NIDDM patients referred for insulin therapy Goddijn, Patricia Petra Maria
Improving metabolic control in NIDDM patients referred for insulin therapy Goddijn, Patricia Petra Maria IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatieCitation for published version (APA): Weide, M. G. (1995). Effectief basisonderwijs voor allochtone leerlingen Groningen: s.n.
University of Groningen Effectief basisonderwijs voor allochtone leerlingen Weide, Marga Geerte IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieThe development of stable influenza vaccine powder formulations for new needle-free dosage forms Amorij, Jean-Pierre
University of Groningen The development of stable influenza vaccine powder formulations for new needle-free dosage forms Amorij, Jean-Pierre IMPORTANT NOTE: You are advised to consult the publisher's version
Nadere informatieThe importance of tactical skills in talent development Kannekens, Rianne
The importance of tactical skills in talent development Kannekens, Rianne IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieUniversity of Groningen
University of Groningen De ontwikkeling van prikkelverwerking bij mensen met een Autisme Spectrum Stoornis en de invloed van hulp en begeleiding gedurende het leven. Fortuin, Marret; Landsman-Dijkstra,
Nadere informatieKnowledge, chance, and change Kooi, Barteld
Knowledge, chance, and change Kooi, Barteld IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieUniversity of Groningen. Positron emission tomography in urologic oncology Jong, Igle Jan de
University of Groningen Positron emission tomography in urologic oncology Jong, Igle Jan de IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from
Nadere informatieUniversity of Groningen. Living with Rheumatoid Arthritis Benka, Jozef
University of Groningen Living with Rheumatoid Arthritis Benka, Jozef IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieUniversity of Groningen. Resultaat van pleegzorgplaatsingen Oijen, Simon van
University of Groningen Resultaat van pleegzorgplaatsingen Oijen, Simon van IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieThe diversity puzzle Mäs, Michael
The diversity puzzle Mäs, Michael IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document Version
Nadere informatieUniversity of Groningen
University of Groningen Heeft Talant het kaf of het koren?een onderzoek naar de werkzaamheid en implementatie van methodieken in de zorg en ondersteuning voor mensen met een verstandelijke beperking bij
Nadere informatieUnderstanding the role of health literacy in self-management and health behaviors among older adults Geboers, Bas
University of Groningen Understanding the role of health literacy in self-management and health behaviors among older adults Geboers, Bas IMPORTANT NOTE: You are advised to consult the publisher's version
Nadere informatieUniversity of Groningen. Stormy clouds in seventh heaven Meijer, Judith Linda
University of Groningen Stormy clouds in seventh heaven Meijer, Judith Linda IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieUw mening over gaswinning uit het Groningen-gasveld: Onderzoeksresultaten fase 2 Hoekstra, Elisabeth; Perlaviciute, Goda; Steg, Emmalina
University of Groningen Uw mening over gaswinning uit het Groningen-gasveld: Onderzoeksresultaten fase 2 Hoekstra, Elisabeth; Perlaviciute, Goda; Steg, Emmalina IMPORTANT NOTE: You are advised to consult
Nadere informatieCryosurgery in cervical intraepithelial neoplasia. A morphometric study Boonstra, Hendrik
University of Groningen Cryosurgery in cervical intraepithelial neoplasia. A morphometric study Boonstra, Hendrik IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if
Nadere informatieThe infant motor profile Heineman, Kirsten Roselien
The infant motor profile Heineman, Kirsten Roselien IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.
Nadere informatieCitation for published version (APA): Egberink, I. J-A. L. (2010). Applications of item response theory to non-cognitive data Groningen: s.n.
University of Groningen Applications of item response theory to non-cognitive data Egberink, Iris IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieCitation for published version (APA): Tijdschrift voor Genderstudies (2018). Jaarrekening Stichting Tijdschrift voor Vrouwenstudies.
University of Groningen Jaarrekening 2017 Tijdschrift voor Genderstudies IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieCitation for published version (APA): Sarma Chandramouli, V. V. M. (2008). Renormalization and non-rigidity s.n.
University of Groningen Renormalization and non-rigidity Sarma Chandramouli, Vasu Venkata Mohana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieCitation for published version (APA): Kondratyuk, S. (2000). Dressing the nucleon causally Groningen: s.n.
University of Groningen Dressing the nucleon causally Kondratyuk, Sergey IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieUniversity of Groningen. Enabling knowledge sharing Smit - Bakker, Marloes
University of Groningen Enabling knowledge sharing Smit - Bakker, Marloes IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieUnderstanding the role of health literacy in self-management and health behaviors among older adults Geboers, Bas
University of Groningen Understanding the role of health literacy in self-management and health behaviors among older adults Geboers, Bas IMPORTANT NOTE: You are advised to consult the publisher's version
Nadere informatieMan of vrouw? Een onderzoek naar sekseverschillen in reacties op chronische aandoeningen Roeke, M.
Man of vrouw? Een onderzoek naar sekseverschillen in reacties op chronische aandoeningen Roeke, M. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieUniversity of Groningen. The impact of political factors on drivers of economic growth Klomp, Johannes Gerardus
University of Groningen The impact of political factors on drivers of economic growth Klomp, Johannes Gerardus IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you
Nadere informatieToday's talented youth field hockey players, the stars of tomorrow? Gemser, Marije
University of Groningen Today's talented youth field hockey players, the stars of tomorrow? Gemser, Marije IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatieLamotrigine in bipolar depression Loos, Marcus Lambertus Maria van der
Lamotrigine in bipolar depression Loos, Marcus Lambertus Maria van der IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieVerbindingskracht & combinatievermogen de Vries ev Delies, Jantina Jantje
Verbindingskracht & combinatievermogen de Vries ev Delies, Jantina Jantje IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieCitation for published version (APA): van der Ploeg, J. (1997). Instrumental variable estimation and group-asymptotics Groningen: s.n.
University of Groningen Instrumental variable estimation and group-asymptotics van der Ploeg, J. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieUniversity of Groningen. Symptoms of Distress and Imbalance in Children Nijboer, J.M.
University of Groningen Symptoms of Distress and Imbalance in Children Nijboer, J.M. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieUniversity of Groningen. Dwaallichten, struikeltochten, tolwegen en zangsporen Roodbol, Pieternella
University of Groningen Dwaallichten, struikeltochten, tolwegen en zangsporen Roodbol, Pieternella IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieCitation for published version (APA): Crane, L. M. A. (2011). Intraoperative fluorescence imaging in cancer Groningen: s.n.
University of Groningen Intraoperative fluorescence imaging in cancer Crane, Lucia Marie Albertine IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieCitation for published version (APA): Scheepstra, A. J. M. (1998). Leerlingen met Downs syndroom in de basisschool Groningen: s.n.
University of Groningen Leerlingen met Downs syndroom in de basisschool Scheepstra, Adriana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from
Nadere informatieUniversity of Groningen. Quantitative CT myocardial perfusion Pelgrim, Gert
University of Groningen Quantitative CT myocardial perfusion Pelgrim, Gert IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieHelping infants and toddlers in Foster family care van Andel, Hans
Helping infants and toddlers in Foster family care van Andel, Hans IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
Nadere informatieUniversity of Groningen. BNP and NT-proBNP in heart failure Hogenhuis, Jochem
University of Groningen BNP and NT-proBNP in heart failure Hogenhuis, Jochem IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieUniversity of Groningen. Embryogenesis and neogenesis of the endocrine pancreas Gangaram-Panday, Shanti Tireshma
University of Groningen Embryogenesis and neogenesis of the endocrine pancreas Gangaram-Panday, Shanti Tireshma IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you
Nadere informatieUniversity of Groningen. Linear conic programming: genericity and stability Jargalsaikhan, Bolor
University of Groningen Linear conic programming: genericity and stability Jargalsaikhan, Bolor IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite
Nadere informatieOpvoeding op school en in het gezin. Onderzoek naar de samenhang tussen opvoeding en de houding van jongeren ten opzichte van sociale grenzen
Opvoeding op school en in het gezin. Onderzoek naar de samenhang tussen opvoeding en de houding van jongeren ten opzichte van sociale grenzen Mooren, Francisca Catharina Theodora van der IMPORTANT NOTE:
Nadere informatieOn the mechanism of prokaryotic glutamate transporter homologues Groeneveld, Maarten
University of Groningen On the mechanism of prokaryotic glutamate transporter homologues Groeneveld, Maarten IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you
Nadere informatieUniversity of Groningen. De emergentie en evolutie van drie werelden de Vries, André
University of Groningen De emergentie en evolutie van drie werelden de Vries, André IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieCitation for published version (APA): Holwerda, A. (2013). Work outcome in young adults with disabilities Groningen: s.n.
University of Groningen Work outcome in young adults with disabilities Holwerda, Anja IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatiePerceptual interactions in human vision and implications for information visualization van den Berg, Ronald
University of Groningen Perceptual interactions in human vision and implications for information visualization van den Berg, Ronald IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's
Nadere informatieThe etiology of functional somatic symptoms in adolescents Janssens, Karin
The etiology of functional somatic symptoms in adolescents Janssens, Karin IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieEffective monitoring and control with intelligent products Meyer, Gerben Gerald
Effective monitoring and control with intelligent products Meyer, Gerben Gerald IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieCitation for published version (APA): Oldenziel, W. H. (2006). Application of a glutamate microsensor to brain tissue. s.n.
University of Groningen Application of a glutamate microsensor to brain tissue Oldenziel, Weite Hendrik IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatieCitation for published version (APA): Sarkova, M. (2010). Psychological well-being and self-esteem in Slovak adolescents. Groningen: s.n.
University of Groningen Psychological well-being and self-esteem in Slovak adolescents Sarkova, Maria IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to
Nadere informatieThe role of camp-dependent protein kinase A in bile canalicular plasma membrane biogenesis in hepatocytes Wojtal, Kacper Andrze
University of Groningen The role of camp-dependent protein kinase A in bile canalicular plasma membrane biogenesis in hepatocytes Wojtal, Kacper Andrze IMPORTANT NOTE: You are advised to consult the publisher's
Nadere informatieTranscriptome analysis to investigate the link between obesity and its metabolic complications Wolfs, Marcel Guillaume Maria
University of Groningen Transcriptome analysis to investigate the link between obesity and its metabolic complications Wolfs, Marcel Guillaume Maria IMPORTANT NOTE: You are advised to consult the publisher's
Nadere informatieInfrastructure investment in Indonesia Mustajab, M.
Infrastructure investment in Indonesia Mustajab, M. IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.
Nadere informatieUniversity of Groningen. Risk factors for injury in talented soccer and tennis players van der Sluis, Alien
University of Groningen Risk factors for injury in talented soccer and tennis players van der Sluis, Alien IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatieComputer assisted decision support in acutely ill patients. Application in glucose management and quantification of myocardial reperfusion
Computer assisted decision support in acutely ill patients. Application in glucose management and quantification of myocardial reperfusion Vogelzang, Mathijs IMPORTANT NOTE: You are advised to consult
Nadere informatieDe primaire frozen shoulder Stenvers, Jan Derek
De primaire frozen shoulder Stenvers, Jan Derek IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.
Nadere informatieUniversity of Groningen. Safe and Sound van den Bosch, Kirsten Anna-Marie
University of Groningen Safe and Sound van den Bosch, Kirsten Anna-Marie IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieUniversity of Groningen. Ondernemerschap in Zuidoost Drenthe Hans, Lianne; Edzes, Arend; Koster, Sierdjan
University of Groningen Ondernemerschap in Zuidoost Drenthe Hans, Lianne; Edzes, Arend; Koster, Sierdjan IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatieCervical cancer, proxies for HPV exposure, screening scare and use of proximal and distal defense behaviors in fear buffering Leckie, Glenn
Cervical cancer, proxies for HPV exposure, screening scare and use of proximal and distal defense behaviors in fear buffering Leckie, Glenn IMPORTANT NOTE: You are advised to consult the publisher's version
Nadere informatieCitation for published version (APA): Hendriks, H. G. D. (2004). Transfusion requirements in orthotopic liver transplantation Groningen: s.n.
University of Groningen Transfusion requirements in orthotopic liver transplantation Hendriks, Herman George Dirk IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if
Nadere informatieSphingolipids, rafts and multidrug resistance Hinrichs, Joann Wilhelm Jakob
Sphingolipids, rafts and multidrug resistance Hinrichs, Joann Wilhelm Jakob IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check
Nadere informatieCitation for published version (APA): Schaafsma, S. H. (2000). Down-scaling of a fluidised bed agglomeration process Groningen: s.n.
University of Groningen Down-scaling of a fluidised bed agglomeration process Schaafsma, Stefan Hendrikus IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
Nadere informatie