Affordable Access

Algebraic specification in CASL

Authors
Publisher
ISTE Publishing Company
Publication Date

Abstract

Publications mainResearchArea.mainResearchArea organisations[0].organisation.id organisations[0].organisation.organisation organisations[1].organisation.id organisations[1].organisation.organisation externalPublication persons[0].person.id persons[0].person.employeeId persons[0].personRole persons[0].firstName persons[0].lastName persons[0].organisations persons[1].personRole persons[1].firstName persons[1].lastName title links[0] owner.id owner.owner typeClassification.typeClassification publicationStatus.publicationStatus publicationDate.year uuid id created modified modifiedBy creator remoteOrigin keywordGroups[0].logicalName keywordGroups[0.0].freeKeywords[da_DK] sourceLicensesDismissed Source: orbit visibility language.language acceptedDuplicate submissionYear publicationCategory.publicationCategory peerReview workflowInformations[0] markedForRevalidation publisher.id publisher.name hostPublicationTitle Technical/natural sciences 4694 Software Engineering - Former organisational unit. 31/12/12. 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science 1491602 34435 Author Hubert Baumeister Software Engineering, Department of Informatics and Mathematical Modeling Author Didier Bert Algebraic specification in CASL http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=5034 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science Book chapter Published 2006 bc6b37af-c59a-40d9-a643-b567b7f32726 3082763 2/26/12 2/26/12 soeren soeren keywordContainers 195750 FREE English 2006 Research validated 3082759 ISTE Publishing Company Software specification Methods: An Overview Using a Case Study

There are no comments yet on this publication. Be the first to share your thoughts.