Search dblp for Publications

export results for "toc:db/conf/iwssd/iwssd1989.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iwssd/AndersonF89,
  author       = {John S. Anderson and
                  Stephen Fickas},
  editor       = {Sol J. Greenspan},
  title        = {A proposed perspective shift: viewing specification design as a planning
                  problem},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {177--184},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75227},
  doi          = {10.1145/75199.75227},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/AndersonF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Antoy89,
  author       = {Sergio Antoy},
  editor       = {Sol J. Greenspan},
  title        = {Systematic design of algebraic specifications},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {278--280},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75241},
  doi          = {10.1145/75199.75241},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Antoy89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Arango89,
  author       = {Guillermo Arango},
  editor       = {Sol J. Greenspan},
  title        = {Domain analysis: from art form to engineering discipline},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {152--159},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75224},
  doi          = {10.1145/75199.75224},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Arango89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Braunl89,
  author       = {Thomas Br{\"{a}}unl},
  editor       = {Sol J. Greenspan},
  title        = {A specification language for parallel architectures and algorithms},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {49--51},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75207},
  doi          = {10.1145/75199.75207},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Braunl89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/DIppolitoP89,
  author       = {Richard D'Ippolito and
                  Charles Plinta},
  editor       = {Sol J. Greenspan},
  title        = {Software development using models},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {140--142},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75221},
  doi          = {10.1145/75199.75221},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/DIppolitoP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/DelisleG89,
  author       = {Norman M. Delisle and
                  David Garlan},
  editor       = {Sol J. Greenspan},
  title        = {Formally specifying electronic instruments},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {242--248},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75236},
  doi          = {10.1145/75199.75236},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/DelisleG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/DhamaS89,
  author       = {Harpal S. Dhama and
                  Victor Shtern},
  editor       = {Sol J. Greenspan},
  title        = {A net method for specification of reusable software},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {137--139},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75220},
  doi          = {10.1145/75199.75220},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/DhamaS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Dubois89,
  author       = {Eric Dubois},
  editor       = {Sol J. Greenspan},
  title        = {A logic of action for supporting goal-oriented elaborations of requirements},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {160--168},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75225},
  doi          = {10.1145/75199.75225},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Dubois89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/EisenbachMS89,
  author       = {Susan Eisenbach and
                  Lee McLoughlin and
                  Chris Sadler},
  editor       = {Sol J. Greenspan},
  title        = {Data-flow design as a visual programming language},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {281--283},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75242},
  doi          = {10.1145/75199.75242},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/EisenbachMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Feather89,
  author       = {Martin S. Feather},
  editor       = {Sol J. Greenspan},
  title        = {Detecting interference when merging specification evolutions},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {169--176},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75226},
  doi          = {10.1145/75199.75226},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Feather89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/FinkelsteinF89,
  author       = {Anthony Finkelstein and
                  Hugo Fuks},
  editor       = {Sol J. Greenspan},
  title        = {Multiparty specification},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {185--195},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75228},
  doi          = {10.1145/75199.75228},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/FinkelsteinF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Forman89,
  author       = {Ira R. Forman},
  editor       = {Sol J. Greenspan},
  title        = {Design by decomposition of multiparty interactions in Raddle87},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {2--10},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75201},
  doi          = {10.1145/75199.75201},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Forman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/GerthP89,
  author       = {Rob Gerth and
                  Amir Pnueli},
  editor       = {Sol J. Greenspan},
  title        = {Rooting {UNITY}},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {11--19},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75202},
  doi          = {10.1145/75199.75202},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/GerthP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/GhezziMMP89,
  author       = {Carlo Ghezzi and
                  Dino Mandrioli and
                  Sandro Morasca and
                  Mauro Pezz{\`{e}}},
  editor       = {Sol J. Greenspan},
  title        = {A general way to put time in Petri nets},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {60--67},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75210},
  doi          = {10.1145/75199.75210},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/GhezziMMP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/GilhamGW89,
  author       = {Limei Gilham and
                  Allen Goldberg and
                  Tie{-}Cheng Wang},
  editor       = {Sol J. Greenspan},
  title        = {Toward reliable reactive systems},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {68--74},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75211},
  doi          = {10.1145/75199.75211},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/GilhamGW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Issendorff89,
  author       = {Hermann von Issendorff},
  editor       = {Sol J. Greenspan},
  title        = {On the algebraic representation and treatment of processing structures},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {52--55},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75208},
  doi          = {10.1145/75199.75208},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Issendorff89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/KaplanGC89,
  author       = {Simon M. Kaplan and
                  Steven K. Goering and
                  Roy H. Campbell},
  editor       = {Sol J. Greenspan},
  title        = {Specifying concurrent systems with {\(\Delta\)}-grammars},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {20--27},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75203},
  doi          = {10.1145/75199.75203},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/KaplanGC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Kooij89,
  author       = {Martin Kooij},
  editor       = {Sol J. Greenspan},
  title        = {Interface specification with temporal logic},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {104--110},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75216},
  doi          = {10.1145/75199.75216},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Kooij89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/KramerMS89,
  author       = {Jeff Kramer and
                  Jeff Magee and
                  Morris Sloman},
  editor       = {Sol J. Greenspan},
  title        = {Configuration support for system description, construction and evolution},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {28--33},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75204},
  doi          = {10.1145/75199.75204},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/KramerMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Kurki-SuonioJ89,
  author       = {Reino Kurki{-}Suonio and
                  H.{-}M. J{\"{a}}rvinen},
  editor       = {Sol J. Greenspan},
  title        = {Action system approach to the specification and design of distributed
                  systems},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {34--40},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75205},
  doi          = {10.1145/75199.75205},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Kurki-SuonioJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Leite89,
  author       = {Julio C{\'{e}}sar Sampaio P. Leite},
  editor       = {Sol J. Greenspan},
  title        = {Viewpoint analysis: a case study},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {111--119},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75217},
  doi          = {10.1145/75199.75217},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Leite89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/LinH89,
  author       = {Fuyau Lin and
                  Frances E. Hunt},
  editor       = {Sol J. Greenspan},
  title        = {LCD-reification: a formal method for developing Prolog programs},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {249--256},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75237},
  doi          = {10.1145/75199.75237},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/LinH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/LiuS89,
  author       = {Leo Yuhsiang Liu and
                  R. K. Shyamasundar},
  editor       = {Sol J. Greenspan},
  title        = {An operational semantics of real time design language {RT-CDL}},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {75--82},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75212},
  doi          = {10.1145/75199.75212},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/LiuS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/LondonM89,
  author       = {Ralph L. London and
                  Kathleen Milsted},
  editor       = {Sol J. Greenspan},
  title        = {Specifying reusable components using {Z:} realistic sets and dictionaries},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {120--127},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75218},
  doi          = {10.1145/75199.75218},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/LondonM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/MaarekB89,
  author       = {Yo{\"{e}}lle S. Maarek and
                  Daniel M. Berry},
  editor       = {Sol J. Greenspan},
  title        = {The use of lexical affinities in requirements extraction},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {196--202},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75229},
  doi          = {10.1145/75199.75229},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/MaarekB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Marca89,
  author       = {David A. Marca},
  editor       = {Sol J. Greenspan},
  title        = {Specifying coordinators: guidelines for groupware developers},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {235--237},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75234},
  doi          = {10.1145/75199.75234},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Marca89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/MelhartLJ89,
  author       = {Bonnie E. Melhart and
                  Nancy G. Leveson and
                  Matthew S. Jaffe},
  editor       = {Sol J. Greenspan},
  title        = {Analysis capabilities for requirements specified in statecharts},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {100--103},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75215},
  doi          = {10.1145/75199.75215},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/MelhartLJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/MiriyalaH89,
  author       = {Kanth Miriyala and
                  Mehdi T. Harandi},
  editor       = {Sol J. Greenspan},
  title        = {Analogical approach to specification derivation},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {203--210},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75230},
  doi          = {10.1145/75199.75230},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/MiriyalaH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/NiskierMS89,
  author       = {Celso Niskier and
                  Tom Maibaum and
                  Daniel Schwabe},
  editor       = {Sol J. Greenspan},
  title        = {A look through {PRISMA:} towards pluralistic knowledge-based environments
                  for software specification acquisition},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {128--136},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75219},
  doi          = {10.1145/75199.75219},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/NiskierMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Peters89,
  author       = {Lawrence Peters},
  editor       = {Sol J. Greenspan},
  title        = {Timing extensions to structured analysis for real time systems},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {83--90},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75213},
  doi          = {10.1145/75199.75213},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Peters89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/PettRS89,
  author       = {M. M. Pett and
                  Michael D. Rice and
                  Stephen B. Seidman},
  editor       = {Sol J. Greenspan},
  title        = {A formal framework for the design of development environments},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {284--286},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75243},
  doi          = {10.1145/75199.75243},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/PettRS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Ramsey89,
  author       = {Norman Ramsey},
  editor       = {Sol J. Greenspan},
  title        = {Developing formally verified Ada programs},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {257--265},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75238},
  doi          = {10.1145/75199.75238},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Ramsey89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/ReubensteinW89,
  author       = {Howard B. Reubenstein and
                  Richard C. Waters},
  editor       = {Sol J. Greenspan},
  title        = {The requirements apprentice: an initial scenario},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {211--218},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75231},
  doi          = {10.1145/75199.75231},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/ReubensteinW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Robinson89,
  author       = {William N. Robinson},
  editor       = {Sol J. Greenspan},
  title        = {Integrating multiple specifications using domain goals},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {219--226},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75232},
  doi          = {10.1145/75199.75232},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/Robinson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/RomanC89,
  author       = {Gruia{-}Catalin Roman and
                  Kenneth C. Cox},
  editor       = {Sol J. Greenspan},
  title        = {Implementing a shared dataspace language on a message-based multiprocessor},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75206},
  doi          = {10.1145/75199.75206},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/RomanC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/SchwankeAP89,
  author       = {Robert W. Schwanke and
                  Rita Z. Altucher and
                  Michael A. Platoff},
  editor       = {Sol J. Greenspan},
  title        = {Discovering, visualizing, and controlling software structure},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {147--154},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75223},
  doi          = {10.1145/75199.75223},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/SchwankeAP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Shaw89,
  author       = {Mary Shaw},
  editor       = {Sol J. Greenspan},
  title        = {Larger scale systems require higher-level abstractions},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {143--146},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75222},
  doi          = {10.1145/75199.75222},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Shaw89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/ShyamasundarHG89,
  author       = {Rudrapatna K. Shyamasundar and
                  Jozef Hooman and
                  Rob Gerth},
  editor       = {Sol J. Greenspan},
  title        = {Reasoning of real-time distributed programming languages},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {91--99},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75214},
  doi          = {10.1145/75199.75214},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/ShyamasundarHG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/SummersgillB89,
  author       = {Robert Summersgill and
                  Dermot P. Browne},
  editor       = {Sol J. Greenspan},
  title        = {Human factors: its place in system development methods},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {227--234},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75233},
  doi          = {10.1145/75199.75233},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/SummersgillB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/TerwilligerMO89,
  author       = {Robert B. Terwilliger and
                  Mark J. Maybee and
                  Leon J. Osterweil},
  editor       = {Sol J. Greenspan},
  title        = {An example of formal specification as an aid to design and development},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {266--272},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75239},
  doi          = {10.1145/75199.75239},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/TerwilligerMO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Thompson89,
  author       = {Simon Thompson},
  editor       = {Sol J. Greenspan},
  title        = {Functional programming: executable specifications and program transformations},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {287--290},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75244},
  doi          = {10.1145/75199.75244},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Thompson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/WatanabeY89,
  author       = {Takuo Watanabe and
                  Akinori Yonezawa},
  editor       = {Sol J. Greenspan},
  title        = {Reflective computation in object-oriented concurrent systems and its
                  applications},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {56--58},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75209},
  doi          = {10.1145/75199.75209},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/WatanabeY89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Weber89,
  author       = {D. G. Weber},
  editor       = {Sol J. Greenspan},
  title        = {Formal specification of fault-tolerance and its relation to computer
                  security},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {273--277},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75240},
  doi          = {10.1145/75199.75240},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/Weber89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/WilliamsMAJ89,
  author       = {Gerald B. Williams and
                  Chunka Mui and
                  Vairam Alagappan and
                  Bruce B. Johnson},
  editor       = {Sol J. Greenspan},
  title        = {Software design issues: a very large information systems perspective},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {238--240},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75235},
  doi          = {10.1145/75199.75235},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/WilliamsMAJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwssd/Yue89,
  author       = {Kaizhi Yue},
  editor       = {Sol J. Greenspan},
  title        = {Representing first order logic-based specifications in Petri-net-like
                  graphs},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {291--293},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75245},
  doi          = {10.1145/75199.75245},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/Yue89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iwssd/1989,
  editor       = {Sol J. Greenspan},
  title        = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199},
  doi          = {10.1145/75199},
  isbn         = {978-0-89791-305-8},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/1989.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.