Search dblp for Publications

export results for "toc:db/journals/ase/ase7.bht:"

 download as .bib file

@article{DBLP:journals/ase/Abd-El-Hafiz00,
  author       = {Salwa K. Abd{-}El{-}Hafiz},
  title        = {Identifying Objects in Procedural Programs Using Clustering Neural
                  Networks},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {239--261},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008718105516},
  doi          = {10.1023/A:1008718105516},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/Abd-El-Hafiz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/BiderKP00,
  author       = {Ilia Bider and
                  Maxim Khomyakov and
                  E. Pushchinsky},
  title        = {Logic of Change: Semantics of Object Systems with Active Relations},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {9--37},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008713216625},
  doi          = {10.1023/A:1008713216625},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/BiderKP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Blazy00,
  author       = {Sandrine Blazy},
  title        = {Specifying and Automatically Generating a Specialization Tool for
                  Fortran 90},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {345--376},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026594220718},
  doi          = {10.1023/A:1026594220718},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Blazy00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Clancey00,
  author       = {William J. Clancey},
  title        = {Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software
                  Engineers},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {201--205},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008718526428},
  doi          = {10.1023/A:1008718526428},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Clancey00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Devanbu00,
  author       = {Premkumar T. Devanbu},
  title        = {Desert Island Column},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {305--308},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008739327574},
  doi          = {10.1023/A:1008739327574},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Devanbu00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Fischer00,
  author       = {Bernd Fischer},
  title        = {Specification-Based Browsing of Software Component Libraries},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {179--200},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008766409590},
  doi          = {10.1023/A:1008766409590},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/Fischer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Hall00,
  author       = {Robert J. Hall},
  title        = {Explanation-Based Scenario Generation for Reactive System Models},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {157--177},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008762225520},
  doi          = {10.1023/A:1008762225520},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MaibaumR00,
  author       = {T. S. E. Maibaum and
                  Bernhard Rumpe},
  title        = {Automated Software Engineering: Special Issue on Precise Semantics
                  for Software Modeling Techniques {(PSMT} - an ICSE'98 Workshop)},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {7--8},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008714925733},
  doi          = {10.1023/A:1008714925733},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MaibaumR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MensD00,
  author       = {Tom Mens and
                  Theo D'Hondt},
  title        = {Automating Support for Software Evolution in {UML}},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {39--59},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008765200695},
  doi          = {10.1023/A:1008765200695},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/MensD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MoffettV00,
  author       = {Jonathan D. Moffett and
                  Andrew Vickers},
  title        = {Behavioural Conflicts in a Causal Specification},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {215--238},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008730221445},
  doi          = {10.1023/A:1008730221445},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MoffettV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MonroyBG00,
  author       = {Ra{\'{u}}l Monroy and
                  Alan Bundy and
                  Ian Green},
  title        = {Planning Proofs of Equations in {CCS}},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {263--304},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008770222354},
  doi          = {10.1023/A:1008770222354},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MonroyBG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MorascaMP00,
  author       = {Sandro Morasca and
                  Angelo Morzenti and
                  Pierluigi {San Pietro}},
  title        = {A Case Study on Applying a Tool for Automated System Analysis Based
                  on Modular Specifications Written in {TRIO}},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {125--155},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008710224611},
  doi          = {10.1023/A:1008710224611},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/MorascaMP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Mylopoulos00,
  author       = {John Mylopoulos},
  title        = {Desert Island Column: {A} Trip to Carthea},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {377--380},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026506621627},
  doi          = {10.1023/A:1026506621627},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Mylopoulos00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Nuseibeh00,
  author       = {Bashar Nuseibeh},
  title        = {Editorial},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {5},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008769032554},
  doi          = {10.1023/A:1008769032554},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Nuseibeh00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/NuseibehR00,
  author       = {Bashar Nuseibeh and
                  David F. Redmiles},
  title        = {Introduction to Special Issue},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {99--100},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008764323702},
  doi          = {10.1023/A:1008764323702},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/NuseibehR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/StegglesK00,
  author       = {L. J. Steggles and
                  Piotr Kosiuczenko},
  title        = {A Formal Model for {SDL} Specifications Based on Timed Rewriting Logic},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {61--90},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008717317533},
  doi          = {10.1023/A:1008717317533},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/StegglesK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/StirewaltR00,
  author       = {Kurt Stirewalt and
                  Spencer Rugaber},
  title        = {The Model-Composition Problem in User-Interface Generation},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {2},
  pages        = {101--124},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008758107773},
  doi          = {10.1023/A:1008758107773},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/StirewaltR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/WahlsLB00,
  author       = {Tim Wahls and
                  Gary T. Leavens and
                  Albert L. Baker},
  title        = {Executing Formal Specifications with Concurrent Constraint Programming},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {315--343},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026554217992},
  doi          = {10.1023/A:1026554217992},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/WahlsLB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Wasserman00,
  author       = {Anthony I. Wasserman},
  title        = {Three Books for a Desert Island},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {91--93},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008769301604},
  doi          = {10.1023/A:1008769301604},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Wasserman00.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.