Het probleem
Het goed specificeren van componenten bij componentgebaseerde ontwikkeling van software is moeilijk. De specificaties moeten voldoende informatie bevatten voor bouwer en gebruiker in alle gebruiksfases van de component. In de praktijk blijkt het lastig om de verschillende vormen van specificaties consistent te houden.
Het goed specificeren van componenten bij componentgebaseerde ontwikkeling van software is moeilijk. De specificaties moeten voldoende informatie bevatten voor bouwer en gebruiker in alle gebruiksfases van de component. In de praktijk blijkt het lastig om de verschillende vormen van specificaties consistent te houden.
Het onderzoek
De TU Eindhoven zoekt in dit Progress-project naar onderbouwing en tooling van de interfacespecificatieaanpak ISpec, zoals ontwikkeld door Philips. Deze benadering geeft de garantie dat verschillende beschrijvingen en documentatie consistent met elkaar zijn.