Search dblp for Publications

export results for "toc:db/conf/sbes/sbes1990.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sbes/0001CT90,
  author       = {Silvio Meira and
                  Carlos Eduardo Albuquerque da Cunha and
                  Jos{\'{e}} Fernando Tepedino},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {An Experience in Building an Object-Oriented Prototype of an Advanced
                  Hypertext System},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {150--168},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24173},
  doi          = {10.5753/SBES.1990.24173},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/0001CT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/AmbrosioF90,
  author       = {Ana Paula Ambr{\'{o}}sio and
                  D{\'{e}}cio Fonseca},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Especifica{\c{c}}{\~{a}}o Formal de Inst{\^{a}}ncias Excepcionais},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {44--57},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24165},
  doi          = {10.5753/SBES.1990.24165},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/AmbrosioF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/Barroso090,
  author       = {Guy Barroso and
                  Virg{\'{\i}}lio Almeida},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Modelagem de Sistemas de Software com Redes de Petri Estoc{\'{a}}sticas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {110--123},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24170},
  doi          = {10.5753/SBES.1990.24170},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/Barroso090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/BorbaM90,
  author       = {Paulo H. M. Borba and
                  Silvio R. L. Meira},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Tradu{\c{c}}{\~{a}}o de Tipos de Especifica{\c{c}}{\~{a}}o para Prot{\'{o}}tipo},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {1--13},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24162},
  doi          = {10.5753/SBES.1990.24162},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/BorbaM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/FaveroEP90,
  author       = {Eloi L. Favero and
                  L. G. Silva Esperan{\c{c}}a and
                  R. Tom Price},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {O Uso de Gram{\'{a}}tica de Atributos na Formata{\c{c}}{\~{a}}o
                  de Nota{\c{c}}{\~{o}}es Diagram{\'{a}}ticas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {70--83},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24167},
  doi          = {10.5753/SBES.1990.24167},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/FaveroEP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/GirardiP90,
  author       = {Maria del Rosario Girardi and
                  Roberto Tom Price},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Especifica{\c{c}}{\~{a}}o de uma Ferramenta de Apoio a Reutiliza{\c{c}}{\~{a}}o
                  de Software no Desenvolvimento Orientado a Objetos},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {231--244},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24179},
  doi          = {10.5753/SBES.1990.24179},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/GirardiP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/LeiteF90,
  author       = {Julio C{\'{e}}sar Sampaio do Prado Leite and
                  Ana Paula M. Franco},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {O Uso de Hipertexto na Elicita{\c{c}}{\~{a}}o de Linguagens da Aplica{\c{c}}{\~{a}}o},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {134--149},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24172},
  doi          = {10.5753/SBES.1990.24172},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/LeiteF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/MrackSP90,
  author       = {Fl{\'{a}}vio Roberto Freire Mrack and
                  M{\^{o}}nica Spotorno da Silva and
                  Roberto Tom Price},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Um dicion{\'{a}}rio de dados para um editor diagram{\'{a}}tico
                  generalizado},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {218--230},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24178},
  doi          = {10.5753/SBES.1990.24178},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/MrackSP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/NamurN90,
  author       = {Eduardo Alberto Dermargos Namur and
                  Jo{\~{a}}o Jos{\'{e}} Neto},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Uma Ferramenta Incremental para Apoiar a Gera{\c{c}}{\~{a}}o de Software},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {58--69},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24166},
  doi          = {10.5753/SBES.1990.24166},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/NamurN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/PardoM90,
  author       = {Alberto Pardo and
                  Silvio Romero Lemos de Meira},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {O Uso das Sem{\^{a}}nticas Indutiva e Denotacional na Tradu{\c{c}}{\~{a}}o
                  Fonte-a-Fonte de Linguagens de Programa{\c{c}}{\~{a}}o},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {30--43},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24164},
  doi          = {10.5753/SBES.1990.24164},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/PardoM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/PinheiroC90,
  author       = {T{\^{a}}nia Saraiva de Melo Pinheiro and
                  Paulo Roberto Freire Cunha},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Modelo de Refer{\^{e}}ncia para Especifica{\c{c}}{\~{a}}o Formal de
                  Sistemas Operacionais Distribu{\'{\i}}dos},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {14--29},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24163},
  doi          = {10.5753/SBES.1990.24163},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/PinheiroC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/PriceZ90,
  author       = {Ana Maria de Alencar Price and
                  Avelino Francisco Zorzo},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Ambiente de Apoio ao Teste Estrutural de Programas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {169--182},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24174},
  doi          = {10.5753/SBES.1990.24174},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/PriceZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/RodriguezM90,
  author       = {Maritza Rodr{\'{\i}}guez and
                  Paulo C{\'{e}}sar Masiero},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Apoio por Computador {\`{a}} Cria{\c{c}}{\~{a}}o de Especifica{\c{c}}{\~{o}}es
                  Operacionais},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {203--217},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24177},
  doi          = {10.5753/SBES.1990.24177},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/RodriguezM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/Schiel90,
  author       = {Ulrich Schiel},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Redes de Petri Hier{\'{a}}rquicas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {124--133},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24171},
  doi          = {10.5753/SBES.1990.24171},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/Schiel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/SchubertPP90,
  author       = {Edson Gellert Schubert and
                  Marcelo Soares Pimenta and
                  Roberto Tom Price},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {{GRAEDIUS:} Uma proposta para Defini{\c{c}}{\~{a}}o de Interfaces
                  Baseada em Gram{\'{a}}tica de Atributos},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {84--95},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24168},
  doi          = {10.5753/SBES.1990.24168},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/SchubertPP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/Staa90,
  author       = {Arndt von Staa},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Um Meta-editor de Estruturas},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {193--202},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24176},
  doi          = {10.5753/SBES.1990.24176},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/Staa90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/ToscaniV90,
  author       = {Laira Vieira Toscani and
                  Paulo A. S. Veloso},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Uma metodologia para c{\'{a}}lculo da complexidade de algoritmos},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {183--192},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24175},
  doi          = {10.5753/SBES.1990.24175},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/ToscaniV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbes/TrottaTS90,
  author       = {Cl{\'{a}}udio Newton Ferreira Trotta and
                  Guilherme Horta Travassos and
                  Jano Moreira de Souza},
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Modelagem de Dados de Aplica{\c{c}}{\~{o}}es N{\~{a}}o Convencionais:
                  Um Estudo de Caso},
  booktitle    = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  pages        = {96--109},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990.24169},
  doi          = {10.5753/SBES.1990.24169},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/TrottaTS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sbes/1990,
  editor       = {Paulo C{\'{e}}sar Masiero and
                  Antonio C. Lirani and
                  Marcos R. S. Borges and
                  Tadao Takahashi},
  title        = {Proceedings of the 4th Brazilian Symposium on Software Engineering,
                  {SBES} 1990, {\'{A}}guas de S{\~{a}}o Pedro, SP, Brazil, October
                  24-26, 1990},
  publisher    = {{SBC}},
  year         = {1990},
  url          = {https://doi.org/10.5753/sbes.1990},
  doi          = {10.5753/SBES.1990},
  timestamp    = {Tue, 09 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.