Patrícia Duarte de Lima Machado, Silvio R. L. Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes
{"title":"人工神经网络面向对象的正式规范","authors":"Patrícia Duarte de Lima Machado, Silvio R. L. Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes","doi":"10.5753/sbes.1994.24466","DOIUrl":null,"url":null,"abstract":"Este artigo apresenta uma especificação de redes neurais artificiais usando a linguagem MooZ. Por ser uma linguagem de especificação formal orientada a objetos, MooZ possibilita a elaboração de uma descrição gradual e precisa das propriedades de redes neurais, baseada na reusabilidade de definições. Reutilizando classes abstratas, subclasses são definidas a medida que novas características precisam ser incorporadas. A especificação produzida pode ser aplicada no processo de desenvolvimento de software para simulação de redes neurais.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"223 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais\",\"authors\":\"Patrícia Duarte de Lima Machado, Silvio R. L. Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes\",\"doi\":\"10.5753/sbes.1994.24466\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Este artigo apresenta uma especificação de redes neurais artificiais usando a linguagem MooZ. Por ser uma linguagem de especificação formal orientada a objetos, MooZ possibilita a elaboração de uma descrição gradual e precisa das propriedades de redes neurais, baseada na reusabilidade de definições. Reutilizando classes abstratas, subclasses são definidas a medida que novas características precisam ser incorporadas. A especificação produzida pode ser aplicada no processo de desenvolvimento de software para simulação de redes neurais.\",\"PeriodicalId\":307252,\"journal\":{\"name\":\"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)\",\"volume\":\"223 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-10-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/sbes.1994.24466\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/sbes.1994.24466","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais
Este artigo apresenta uma especificação de redes neurais artificiais usando a linguagem MooZ. Por ser uma linguagem de especificação formal orientada a objetos, MooZ possibilita a elaboração de uma descrição gradual e precisa das propriedades de redes neurais, baseada na reusabilidade de definições. Reutilizando classes abstratas, subclasses são definidas a medida que novas características precisam ser incorporadas. A especificação produzida pode ser aplicada no processo de desenvolvimento de software para simulação de redes neurais.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
