Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_19
A. Vermesan, Jarle Sjøvag, Per Martinsen, K. Bell
{"title":"Verification and Validation in Support for Software Certification Methods","authors":"A. Vermesan, Jarle Sjøvag, Per Martinsen, K. Bell","doi":"10.1007/978-1-4757-6916-6_19","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_19","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"94 38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129095466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_4
Luis M. Laita, E. Roanes-Lozano, V. Maojo, L. D. Ledesma
{"title":"Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria","authors":"Luis M. Laita, E. Roanes-Lozano, V. Maojo, L. D. Ledesma","doi":"10.1007/978-1-4757-6916-6_4","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_4","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116059429","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_12
J. Vanthienen, Ana María Moreno García
{"title":"Illustrating Knowledge Base Restructuring and Verification in a Real World Application","authors":"J. Vanthienen, Ana María Moreno García","doi":"10.1007/978-1-4757-6916-6_12","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_12","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116429899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_1
Jesús Cardeñosa Lera, David Escorial
{"title":"KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements","authors":"Jesús Cardeñosa Lera, David Escorial","doi":"10.1007/978-1-4757-6916-6_1","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_1","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124633963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_21
A. Ligeza
{"title":"Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems","authors":"A. Ligeza","doi":"10.1007/978-1-4757-6916-6_21","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_21","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123545450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_5
S. Spreeuwenberg, R. Gerrits
{"title":"A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base","authors":"S. Spreeuwenberg, R. Gerrits","doi":"10.1007/978-1-4757-6916-6_5","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_5","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"310 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131896574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_14
F. L. Ribeiro
{"title":"Verification and Validation of a Multistrategy Knowledge-Based System","authors":"F. L. Ribeiro","doi":"10.1007/978-1-4757-6916-6_14","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_14","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122434831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_17
Michael Schroeder
{"title":"Verification of Business Processes for a Correspondence Handling Center Using CCS","authors":"Michael Schroeder","doi":"10.1007/978-1-4757-6916-6_17","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_17","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133545070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_3
É. Grégoire
{"title":"Progressive Instantiation for the Logical Validation of Nonmonotonic KBs","authors":"É. Grégoire","doi":"10.1007/978-1-4757-6916-6_3","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_3","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130549239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-06-09DOI: 10.1007/978-1-4757-6916-6_6
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, S. Loiseau
{"title":"Constraints for Validation of Conceptual Graphs","authors":"Juliette Dibie-Barthélemy, Ollivier Haemmerlé, S. Loiseau","doi":"10.1007/978-1-4757-6916-6_6","DOIUrl":"https://doi.org/10.1007/978-1-4757-6916-6_6","url":null,"abstract":"","PeriodicalId":179382,"journal":{"name":"European Symposium on Validation and Verification of Knowledge Based Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132535881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：