Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/iwssd:"
download as .bib file
@inproceedings{DBLP:conf/iwssd/ACampbellC00,
author = {Laura A. Campbell and
Betty H. C. Cheng},
title = {Object-Oriented Modeling and Automated Analysis of a Telemedicine
Application},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {39--50},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857226},
doi = {10.5555/857171.857226},
timestamp = {Fri, 13 May 2022 15:20:05 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/ACampbellC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BerryK00,
author = {Daniel M. Berry and
Erik Kamsties},
title = {The Dangerous 'All' in Specifications},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {191--194},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857210},
doi = {10.5555/857171.857210},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BerryK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BrabermanP00,
author = {V{\'{\i}}ctor A. Braberman and
Fabio Pieniazek},
title = {Duration Properties over Real Time System Designs},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {51--62},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857225},
doi = {10.5555/857171.857225},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BrabermanP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BricconiTN00,
author = {Giovanni Bricconi and
Emma Tracanella and
Elisabetta Di Nitto},
title = {Issues in Analyzing the Behavior of Event Dispatching Systems},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857221},
doi = {10.5555/857171.857221},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BricconiTN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CassO00,
author = {Aaron G. Cass and
Leon J. Osterweil},
title = {Design Guidance through the Controlled Application of Constraints},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {195--200},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857207},
doi = {10.5555/857171.857207},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CassO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CioffiC00,
author = {Mauro Cioffi and
Flavio Corradini},
title = {Specification and Analysis of Timed and Functional {TRMCS} Behaviours},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857227},
doi = {10.5555/857171.857227},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CioffiC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CornfordFKLSK00,
author = {Steven L. Cornford and
Martin S. Feather and
John C. Kelly and
Timothy W. Larson and
Burton Sigal and
James D. Kiper},
title = {Design and Development Assessment},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {105--114},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857218},
doi = {10.5555/857171.857218},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CornfordFKLSK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DiasV00,
author = {Marcio S. Dias and
Marlon E. R. Vieira},
title = {Software Architecture Analysis Based on Statechart Semantics},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {133--140},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857220},
doi = {10.5555/857171.857220},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DiasV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GarlanK00,
author = {David Garlan and
Serge Khersonsky},
title = {Model Checking Implicit-Invocation Systems},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857224},
doi = {10.5555/857171.857224},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GarlanK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Ghose00,
author = {Aditya K. Ghose},
title = {Formal Tools for Managing Inconsistency and Change in {RE}},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {171--182},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857209},
doi = {10.5555/857171.857209},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ghose00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Glinz00,
author = {Martin Glinz},
title = {Problems and Deficiencies of {UML} as a Requirements Specification
Language},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {11--22},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857222},
doi = {10.5555/857171.857222},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Glinz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/IllaFP00,
author = {Xavier Burgu{\'{e}}s Illa and
Xavier Franch and
Joan Antoni Pastor},
title = {Formalising {ERP} Selection Criteria},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {115--122},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857217},
doi = {10.5555/857171.857217},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/IllaFP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LiuDS00,
author = {Jing Liu and
Jin Song Dong and
Jing Sun},
title = {{TRMCS} in {TCOZ}},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {63--74},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857228},
doi = {10.5555/857171.857228},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LiuDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MageeKNBS00,
author = {Jeff Magee and
Jeff Kramer and
Bashar Nuseibeh and
David Bush and
Julia Sonander},
title = {Hybrid Model Visualization in Requirements and Design: {A} Preliminary
Investigation},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857223},
doi = {10.5555/857171.857223},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MageeKNBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Menzies00,
author = {Tim Menzies},
title = {The Complexity of TRMCS-like Spiral Specification},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857211},
doi = {10.5555/857171.857211},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Menzies00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/PonsGB00,
author = {Claudia Pons and
Roxana S. Giandini and
Gabriel Baum},
title = {Dependency Relations between Models in the Unified Process},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857213},
doi = {10.5555/857171.857213},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/PonsGB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/RazS00,
author = {Orna Raz and
Mary Shaw},
title = {An Approach to Preserving Sufficient Correctness in Open Resource
Coalitions},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {159--170},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857208},
doi = {10.5555/857171.857208},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/RazS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SheldonGB00,
author = {Frederick T. Sheldon and
Stefan Greiner and
Matthias Benzinger},
title = {Specification, Safety and Reliability Analysis Using Stochastic Petri
Net Models},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857219},
doi = {10.5555/857171.857219},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SheldonGB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WermelingerLF00,
author = {Michel Wermelinger and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
title = {Superposing Connectors},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857216},
doi = {10.5555/857171.857216},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WermelingerLF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Wieringa00,
author = {Roel J. Wieringa},
title = {The Declarative Problem Frame: Designing Systems that Create and Use
Norms},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {75--86},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857215},
doi = {10.5555/857171.857215},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Wieringa00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ZismanEF00,
author = {Andrea Zisman and
Wolfgang Emmerich and
Anthony Finkelstein},
title = {Using {XML} to Build Consistency Rules for Distributed Specifications},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {141--148},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857212},
doi = {10.5555/857171.857212},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/ZismanEF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/2000,
title = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/proceedings/10.5555/857171},
doi = {10.5555/857171},
isbn = {0-7695-0884-7},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/00010098,
author = {Eric Dubois and
Michael Petit and
Eric Yu},
title = {From Early to Late Formal Requirements: {A} Process-Control Case Study},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {34--42},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858299},
doi = {10.5555/857205.858299},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/00010098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ArecesFHY98,
author = {Carlos Areces and
Miguel Felder and
Dan Hirsch and
Daniel Yankelevich},
title = {Modal Logic as a Design Notation},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {150--152},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858305},
doi = {10.5555/857205.858305},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/ArecesFHY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Berry98,
author = {Daniel M. Berry},
title = {The Safety Requirements Engineering Dilemma},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {147--149},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858307},
doi = {10.5555/857205.858307},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Berry98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CiancariniFM98,
author = {Paolo Ciancarini and
Giuseppe Franz{\`{e}} and
Cecilia Mascolo},
title = {A Coordination Model to Specify Systems Including Mobile Agents},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858295},
doi = {10.5555/857205.858295},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CiancariniFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CodaGVG98,
author = {Francesco Coda and
Carlo Ghezzi and
Giovanni Vigna and
Franca Garzotto},
title = {Towards a Software Engineering Approach to Web Site Development},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {8--17},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858298},
doi = {10.5555/857205.858298},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CodaGVG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/EasterbrookCW98,
author = {Steve Easterbrook and
John R. Callahan and
Virginie Wiels},
title = {V {\&} {V} through Inconsistency Tracking and Analysis},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {43--49},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858296},
doi = {10.5555/857205.858296},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/EasterbrookCW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FeatherFLP98,
author = {Martin S. Feather and
Stephen Fickas and
Axel van Lamsweerde and
Christophe Ponsard},
title = {Reconciling System Requirements and Runtime Behavior},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858297},
doi = {10.5555/857205.858297},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FeatherFLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FranchB98,
author = {Xavier Franch and
Pere Botella},
title = {Putting non-functional requirements into software architecture},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858291},
doi = {10.5555/857205.858291},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FranchB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GinouxDJLP98,
author = {Bruno Ginoux and
Jean{-}Luc Dormoy and
Claudia Jimenez{-}Dominguez and
Jean{-}Yves Lucas and
Laurent Pierre},
title = {{DESCARTES:} An Automatic Programming System for Algorithmically Simple
Programs},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858302},
doi = {10.5555/857205.858302},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GinouxDJLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HeiselS98,
author = {Maritta Heisel and
Jeanine Souqui{\`{e}}res},
title = {Methodological Support for Requirements Elicitation and Formal Specification},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {153--155},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858310},
doi = {10.5555/857205.858310},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/HeiselS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/InverardiMRB98,
author = {Paola Inverardi and
Calogero Mangano and
Fabrizio Russo and
Simonetta Balsamo},
title = {Performance Evaluation of a Software Architecture: {A} Case Study},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858289},
doi = {10.5555/857205.858289},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/InverardiMRB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/KaplanRW98,
author = {Alan Kaplan and
John V. E. Ridgway and
Jack C. Wileden},
title = {Why IDLs are Not Ideal},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {2--6},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858288},
doi = {10.5555/857205.858288},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/KaplanRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LeiteL98,
author = {Julio C{\'{e}}sar Sampaio do Prado Leite and
Mar{\'{\i}}a Carmen Leonardi},
title = {Business Rules as Organizational Policies},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {68--76},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858294},
doi = {10.5555/857205.858294},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/LeiteL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LernerSO98,
author = {Barbara Staudt Lerner and
Stanley M. Sutton Jr. and
Leon J. Osterweil},
title = {Enhancing Design Methods to Support Real Design Processes},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {159--161},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858304},
doi = {10.5555/857205.858304},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LernerSO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MageeKG98,
author = {Jeff Magee and
Jeff Kramer and
Dimitra Giannakopoulou},
title = {Software Architecture Directed Behaviour Analysis},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {144--146},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858306},
doi = {10.5555/857205.858306},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MageeKG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MurphyRV98,
author = {Amy L. Murphy and
Gruia{-}Catalin Roman and
George Varghese},
title = {An Exercise in Formal Reasoning about Mobile Communications},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {25--33},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858293},
doi = {10.5555/857205.858293},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MurphyRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NuseibehR98,
author = {Bashar Nuseibeh and
Alessandra Russo},
title = {On the Consequences of Acting in the Presence of Inconsistency},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {156--158},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858308},
doi = {10.5555/857205.858308},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NuseibehR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SimpsonWD98,
author = {Andrew Simpson and
Jim Woodcock and
Jim Davies},
title = {Safety through Security},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {18--24},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858300},
doi = {10.5555/857205.858300},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/SimpsonWD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/TurnerWFL98,
author = {Carlton Reid Turner and
Alexander L. Wolf and
Alfonso Fuggetta and
Luigi Lavazza},
title = {Feature Engineering},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {162--164},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858311},
doi = {10.5555/857205.858311},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/TurnerWFL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WeberZ98,
author = {Jens H. Weber and
Albert Z{\"{u}}ndorf},
title = {Specification and Implementation of a Distributed Planning and Information
System for Courses Based on Story Driven Modeling},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858301},
doi = {10.5555/857205.858301},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WeberZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WermelingerF98,
author = {Michel Wermelinger and
Jos{\'{e}} Luiz Fiadeiro},
title = {Towards an Algebra of Architectural Connectors: a Case Study on Synchronization
for Mobility},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {135--143},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858292},
doi = {10.5555/857205.858292},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WermelingerF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Wieringa98,
author = {Roel J. Wieringa},
title = {Traceability and Modularity in Software Design},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {87--95},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858290},
doi = {10.5555/857205.858290},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Wieringa98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/X98,
title = {Foreword},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {7},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858313},
doi = {10.5555/857205.858313},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/X98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/X98a,
title = {Program and Organizing Committees},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {8},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858312},
doi = {10.5555/857205.858312},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/X98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/YoshiokaSK98,
author = {Nobukazu Yoshioka and
Masato Suzuki and
Takuya Katayama},
title = {Incremental Software Development Method Based on Abstract Interpretation},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {126--134},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858303},
doi = {10.5555/857205.858303},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/YoshiokaSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/1998,
title = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/proceedings/10.5555/857205},
doi = {10.5555/857205},
isbn = {978-0-8186-8439-5},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/AllenG96,
author = {Robert Allen and
David Garlan},
title = {A Case Study in Architectural Modelling: The {AEGIS} System},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858260},
doi = {10.5555/857204.858260},
timestamp = {Wed, 18 May 2022 15:05:33 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/AllenG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Clements96,
author = {Paul C. Clements},
title = {A Survey of Architecture Description Languages},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858261},
doi = {10.5555/857204.858261},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Clements96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Easterbrook96,
author = {Steve Easterbrook},
title = {Learning from Inconsistency},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {136--140},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858282},
doi = {10.5555/857204.858282},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Easterbrook96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Emmerich96,
author = {Wolfgang Emmerich},
title = {Tool Specification with {GTSL}},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858271},
doi = {10.5555/857204.858271},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Emmerich96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FeblowitzGRW96,
author = {Mark Feblowitz and
Sol J. Greenspan and
Howard B. Reubenstein and
Robert Walford},
title = {{ACME/PRIME:} Requirements Acquisition for Process-Driven Systems},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {36--45},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858269},
doi = {10.5555/857204.858269},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FeblowitzGRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FiadeiroM96,
author = {Jos{\'{e}} Luiz Fiadeiro and
Tom Maibaum},
title = {A Mathematical Toolbox for the Software Architec},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858267},
doi = {10.5555/857204.858267},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FiadeiroM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FinkelsteiinS096,
author = {Anthony Finkelsteiin and
George Spanoudakis and
Mark Ryan},
title = {Software Package Requirements and Procurement},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {141--145},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858284},
doi = {10.5555/857204.858284},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FinkelsteiinS096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FinkelsteinD96,
author = {Anthony Finkelstein and
John Dowell},
title = {A comedy of errors: the London Ambulance Service case study},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {2--5},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858287},
doi = {10.5555/857204.858287},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/FinkelsteinD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GoedickeS96,
author = {Michael Goedicke and
Bettina Eva Sucrow},
title = {Towards a formal specification method for graphical user interfaces
using modularized graph grammars},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858263},
doi = {10.5555/857204.858263},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GoedickeS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/InverardiY96,
author = {Paola Inverardi and
Daniel Yankelevich},
title = {Relating {CHAM} Descriptions of Software Architectures},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {66--74},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858268},
doi = {10.5555/857204.858268},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/InverardiY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/KarlssonR96,
author = {Joachim Karlsson and
Kevin Ryan},
title = {Supporting the Selection of Software Requirements},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {146--149},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858275},
doi = {10.5555/857204.858275},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/KarlssonR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/KozaczynskiN96,
author = {Wojtek Kozaczynski and
Jim Q. Ning},
title = {Concern-driven design for a specification language supporting component-based
software engineerin},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {150--154},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858273},
doi = {10.5555/857204.858273},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/KozaczynskiN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LakasBC96,
author = {Abderrahmane Lakas and
Gordon S. Blair and
Amanda G. Chetwynd},
title = {Specification and Verification of Real-Time Properties Using {LOTOS}
and {SQTL}},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858264},
doi = {10.5555/857204.858264},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LakasBC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LeiteG96,
author = {Julio C{\'{e}}sar Sampaio do Prado Leite and
Ana Paula Pinho Gilvaz},
title = {Requirements Elicitation Driven by Interviews: The Use of Viewpoints},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858259},
doi = {10.5555/857204.858259},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/LeiteG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LevyS96,
author = {Nicole L{\'{e}}vy and
Jeanine Souqui{\`{e}}res},
title = {A "Coming and Going" Approach to Specification Construction: {A} Scenario},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {155--158},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858272},
doi = {10.5555/857204.858272},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LevyS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MaidenS96,
author = {Neil A. M. Maiden and
Alistair G. Sutcliffe},
title = {A computational mechanism for parallel problem decomposition during
requirements engineering},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {159--163},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858274},
doi = {10.5555/857204.858274},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MaidenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Nuseibeh96,
author = {Bashar Nuseibeh},
title = {To Be and Not to Be: On Managing Inconsistency in Software Development},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {164--169},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858276},
doi = {10.5555/857204.858276},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Nuseibeh96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/OsterweilS96,
author = {Leon J. Osterweil and
Xiping Song},
title = {Assuring Accuracy and Impartiality in Software Design Methodology
Comparison},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {170--171},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858283},
doi = {10.5555/857204.858283},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/OsterweilS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/RadestockE96,
author = {Matthias Radestock and
Susan Eisenbach},
title = {Formalizing System Structure},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858262},
doi = {10.5555/857204.858262},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/RadestockE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/RanK96,
author = {Alexander Ran and
Juha Kuusela},
title = {Design Decision Trees},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {172--175},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858278},
doi = {10.5555/857204.858278},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/RanK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/RomanHC96,
author = {Gruia{-}Catalin Roman and
Delbert Hart and
Charles Calkins},
title = {Visual Presentation of Software Specifications and Designs},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858265},
doi = {10.5555/857204.858265},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/RomanHC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SchwankeSW96,
author = {Robert W. Schwanke and
Veronika A. Strack and
Thomas Werthmann{-}Auzinger},
title = {Industrial software architecture with Gestalt},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {176--180},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858279},
doi = {10.5555/857204.858279},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SchwankeSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Shaw96,
author = {Mary Shaw},
title = {Truth vs Knowledge: The Difference Between What a Component Does and
What We Know It Does},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {181--185},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858277},
doi = {10.5555/857204.858277},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Shaw96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Silva0S96,
author = {Ant{\'{o}}nio Rito Silva and
Jo{\~{a}}o Pereira and
Pedro Sousa},
title = {A Framework for Heterogeneous Concurrency Control Policies in Distributed
Applications},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {105--114},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858266},
doi = {10.5555/857204.858266},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Silva0S96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SuttonO96,
author = {Stanley M. Sutton Jr. and
Leon J. Osterweil},
title = {{PDP:} Programming {A} Programmable Design Process},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {186--190},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858280},
doi = {10.5555/857204.858280},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SuttonO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Tamai96,
author = {Tetsuo Tamai},
title = {How Modeling Methods Affect the Process of Architectural Design Decisions:
{A} Comparative Study},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {125--135},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858270},
doi = {10.5555/857204.858270},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Tamai96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/X96,
title = {Message from the Chairs},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {7--8},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858285},
doi = {10.5555/857204.858285},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/X96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/X96a,
title = {Message from the Chairs},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858286},
doi = {10.5555/857204.858286},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/X96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/1996,
title = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/proceedings/10.5555/857204},
doi = {10.5555/857204},
isbn = {978-0-8186-7361-0},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Ameur93,
author = {Yamine A{\"{\i}}t Ameur},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Predicting Operational Behaviour of Abstract Programs During Formal
Developments},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {172--181},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951834},
doi = {10.5555/951807.951834},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ameur93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/AstesianoR93,
author = {Egidio Astesiano and
Gianna Reggio},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Specifying Reactive Systems by Abstract Events},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951828},
doi = {10.5555/951807.951828},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/AstesianoR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Barros93,
author = {Oscar Barros},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Requirements Elicitation and Formalization Through External Design
and Object-Oriented Specification},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {78--87},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951822},
doi = {10.5555/951807.951822},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Barros93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BasinBKM93,
author = {David A. Basin and
Alan Bundy and
Ina Kraan and
Se{\'{a}}n Matthews},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {A Framework for Program Development Based on Schematic Proof},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951833},
doi = {10.5555/951807.951833},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BasinBKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BellettiniFP93,
author = {Carlo Bellettini and
Miguel Felder and
Mauro Pezz{\`{e}}},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Merlot: {A} Tool for Analysis of Real-Time Specifications},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951826},
doi = {10.5555/951807.951826},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BellettiniFP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BoydK93,
author = {Joanne L. Boyd and
Gerald M. Karam},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Using Design Fragments to Modularize the Design of Communications
in Concurrent Systems},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {184--193},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951836},
doi = {10.5555/951807.951836},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BoydK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BuyS93,
author = {Ugo A. Buy and
Robert H. Sloan},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {A Petri-Net -Based Approach to Real-Time Program Analysis},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {56--60},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951818},
doi = {10.5555/951807.951818},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BuyS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Corbett93,
author = {James C. Corbett},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Identical Tasks and Counter Variables in an Integer Programming-Based
Approach to Verification},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951825},
doi = {10.5555/951807.951825},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Corbett93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CunninghamC93,
author = {H. Conrad Cunningham and
Yinxiu Cai},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Specification and Refinement of a Message Router},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951812},
doi = {10.5555/951807.951812},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CunninghamC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DasF93,
author = {R. Das and
Alan D. Fekete},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Modular Reasoning About Open Systems: {A} Case Study of Distributed
Commit},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951813},
doi = {10.5555/951807.951813},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DasF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DingK93,
author = {Shiyuan Ding and
Takuya Katayama},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Specifying Reactive Systems with Attributed Finite State Machines},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951824},
doi = {10.5555/951807.951824},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DingK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Faulstich-Brady93,
author = {Alice Faulstich{-}Brady},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {A Taxonomy of Inheritance Semantics},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {194--203},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951837},
doi = {10.5555/951807.951837},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Faulstich-Brady93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GhezziP93,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Towards Extensible Graphical Formalisms},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {69--77},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951821},
doi = {10.5555/951807.951821},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GhezziP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Lin93,
author = {Fuyau Lin},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Design and Validation of a Message-Passing System},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {10--19},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951811},
doi = {10.5555/951807.951811},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Lin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Maibaum93,
author = {T. S. E. Maibaum},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Taking More of the Soft out of Software Engineering},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {2--7},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951809},
doi = {10.5555/951807.951809},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Maibaum93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MarcaM93,
author = {David A. Marca and
Clement L. McGowan},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Specifications Approaches Express Different World Hypotheses},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {214--223},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951839},
doi = {10.5555/951807.951839},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MarcaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NuseibehFK93,
author = {Bashar Nuseibeh and
Anthony Finkelstein and
Jeff Kramer},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Fine-Grain Process Modelling},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {42--46},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951815},
doi = {10.5555/951807.951815},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NuseibehFK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/PottsT93,
author = {Colin Potts and
Kenji Takahashi},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {An Active Hypertext Model for System Requirements},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {62--68},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951820},
doi = {10.5555/951807.951820},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/PottsT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SaekiHU93,
author = {Motoshi Saeki and
Takeshi Hiroi and
Takanori Ugai},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Reflective Specification: Applying {A} Reflective Language to Formal
Specification},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {204--213},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951838},
doi = {10.5555/951807.951838},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SaekiHU93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SoniNH93,
author = {Dilip Soni and
Robert L. Nord and
Liang H. Hsu},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {An Empirical Approach to Software Architectures},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {47--51},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951816},
doi = {10.5555/951807.951816},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SoniNH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SutcliffeM93,
author = {Alistair G. Sutcliffe and
Neil A. M. Maiden},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Bridging the Requirements Gap: Policies, Goals, and Domains},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {52--55},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951817},
doi = {10.5555/951807.951817},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/SutcliffeM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/TaiK93,
author = {Kuo{-}Chung Tai and
Pramod V. Koppol},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {An Incremental Approach to Reachability Analysis of Distributed Programs},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951830},
doi = {10.5555/951807.951830},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/TaiK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Wolff93,
author = {P. Wolff},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Related Specifications Reuse},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {152--161},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951832},
doi = {10.5555/951807.951832},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Wolff93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Wood93,
author = {Kenneth R. Wood},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {A Pragmatic Basis for the Formal Development of Distributed Systems},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {132--140},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951829},
doi = {10.5555/951807.951829},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Wood93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/1993,
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/proceedings/10.5555/951807},
doi = {10.5555/951807},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Babb91,
author = {Robert G. Babb II},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Issues in the specification and design of parallel programs},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {75--82},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952798},
doi = {10.5555/952786.952798},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Babb91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BarstowA91,
author = {David R. Barstow and
Guillermo Arango},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Designing software for customization and evolution},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {250--255},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952825},
doi = {10.5555/952786.952825},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BarstowA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Broy91,
author = {Manfred Broy},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Declarative specification and declarative programming},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952788},
doi = {10.5555/952786.952788},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Broy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Ciancarini91,
author = {Paolo Ciancarini},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {PoliS: a programming model for multiple tuple spaces},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952794},
doi = {10.5555/952786.952794},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ciancarini91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CorsettiCMMMPR91,
author = {Edoardo Corsetti and
Ernani Crivelli and
Dino Mandrioli and
Angelo Montanari and
Angelo Morzenti and
Pierluigi {San Pietro} and
Elena Ratto},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Dealing with different time scales in formal specifications},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952801},
doi = {10.5555/952786.952801},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CorsettiCMMMPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Cunningham91,
author = {H. Conrad Cunningham},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Swarming over the software barrier},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {233--236},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952821},
doi = {10.5555/952786.952821},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Cunningham91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DamyP91,
author = {Sylvie Damy and
Guy{-}Ren{\'{e}} Perrin},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Techniques for the design of communicating processes},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952797},
doi = {10.5555/952786.952797},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DamyP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DardenneFL91,
author = {Anne Dardenne and
Stephen Fickas and
Axel van Lamsweerde},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Goal-directed concept acquisition in requirements elicitation},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {14--21},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952790},
doi = {10.5555/952786.952790},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DardenneFL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DoerryFHF91,
author = {Eckehard Doerry and
Stephen Fickas and
B. Robert Helm and
Martin S. Feather},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A model for composite system design},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {216--219},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952818},
doi = {10.5555/952786.952818},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DoerryFHF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DowningF91,
author = {Keith L. Downing and
Stephen Fickas},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Specification criticism via goal-directed envisionment},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {22--30},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952791},
doi = {10.5555/952786.952791},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DowningF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/EmmerichG91,
author = {Wolfgang Emmerich and
Volker Gruhn},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {{FUNSOFT} nets: a Petri-net based software process modeling language},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {175--184},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952812},
doi = {10.5555/952786.952812},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/EmmerichG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Garlan91,
author = {David Garlan},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Preconditions for understanding},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {242--245},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952823},
doi = {10.5555/952786.952823},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Garlan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GarzottoPS91,
author = {Franca Garzotto and
Paolo Paolini and
Daniel Schwabe},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Authoring-in-the-large: software engineering techniques for hypertext
application design},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {193--201},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952814},
doi = {10.5555/952786.952814},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GarzottoPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Gaudel91,
author = {Marie{-}Claude Gaudel},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Advantages and limits of formal approaches for ultra-high dependability},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {237--241},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952822},
doi = {10.5555/952786.952822},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Gaudel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GoedickeSC91,
author = {Michael Goedicke and
Harald Schumann and
Joachim Cramer},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {On the specification of software components},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {166--174},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952811},
doi = {10.5555/952786.952811},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GoedickeSC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GreenspanFST91,
author = {Sol J. Greenspan and
Mark Feblowitz and
M. Chandra Shekaran and
James F. Tremlett},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Addressing requirements issues within a conceptual modeling environment},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {212--215},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952817},
doi = {10.5555/952786.952817},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GreenspanFST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HirakawaT91,
author = {Y. Hirakawa and
T. Takenaka},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Telecommunication service description using state transition rules},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {140--147},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952807},
doi = {10.5555/952786.952807},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/HirakawaT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HonidenOU91,
author = {Shinichi Honiden and
Akihiko Ohsuga and
Naoshi Uchihira},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {An integration environment to put formal specifications into practical
use in real-time systems},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952802},
doi = {10.5555/952786.952802},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/HonidenOU91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HoomanKZ91,
author = {Jozef Hooman and
Ruurd Kuiper and
Ping Zhou},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A compositional proof system for real-time systems based on explicit
clock temporal logic},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952803},
doi = {10.5555/952786.952803},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/HoomanKZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Kramer91,
author = {Bernd J. Kr{\"{a}}mer},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Prototyping and formal analysis of concurrent and distributed systems},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {60--66},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952796},
doi = {10.5555/952786.952796},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Kramer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Kurki-SuonioSV91,
author = {Reino Kurki{-}Suonio and
Kari Syst{\"{a}} and
J{\"{u}}ri Vain},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Real-time specification and modeling with joint actions},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952800},
doi = {10.5555/952786.952800},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Kurki-SuonioSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Ledru91,
author = {Yves Ledru},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Developing reactive systems in a {VDM} framework},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952806},
doi = {10.5555/952786.952806},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ledru91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LeeH91,
author = {Hing{-}Yan Lee and
Mehdi T. Harandi},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Overcoming shortcomings in schema-based software design systems},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {246--249},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952824},
doi = {10.5555/952786.952824},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LeeH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LevesonHHRO91,
author = {Nancy G. Leveson and
Mats P. E. Heimdahl and
Holly Hildreth and
Jon Damon Reese and
R. Ortega},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Experiences using statecharts for a system requirements specification},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {31--41},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952792},
doi = {10.5555/952786.952792},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LevesonHHRO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LoyallKG91,
author = {Joseph P. Loyall and
Simon M. Kaplan and
Steven K. Goering},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Abstraction and composition in {\(\Delta\)}-specifications of concurrent
systems},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {52--59},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952795},
doi = {10.5555/952786.952795},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LoyallKG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MaidenS91,
author = {Neil A. M. Maiden and
Alistair G. Sutcliffe},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Reuse of analogous specifications during requirements analysis},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {220--223},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952819},
doi = {10.5555/952786.952819},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MaidenS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Marca91,
author = {David A. Marca},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Specifying groupware requirements from direct experience},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {224--232},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952820},
doi = {10.5555/952786.952820},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Marca91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MeyersR91,
author = {Scott Meyers and
Steven P. Reiss},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A system for multiparadigm development of software systems},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {202--209},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952815},
doi = {10.5555/952786.952815},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MeyersR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NicolaIN91,
author = {Rocco De Nicola and
Paola Inverardi and
Monica Nesi},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Equational reasoning about {LOTOS} specifications: a rewriting approach},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {148--155},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952808},
doi = {10.5555/952786.952808},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NicolaIN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Potts91,
author = {Colin Potts},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Seven (plus or minus two) challenges for requirements research},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {256--259},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952826},
doi = {10.5555/952786.952826},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Potts91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Schobbens91,
author = {Pierre{-}Yves Schobbens},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {On the meaning of "but"},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {185--192},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952813},
doi = {10.5555/952786.952813},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Schobbens91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Shaw91,
author = {Mary Shaw},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Heterogeneous design idioms for software architecture},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {158--165},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952810},
doi = {10.5555/952786.952810},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Shaw91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WingZ91,
author = {Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A formal specification of a visual language editor},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952805},
doi = {10.5555/952786.952805},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WingZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/1991,
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/proceedings/10.5555/952786},
doi = {10.5555/952786},
isbn = {978-0-8186-2320-2},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 
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.
retrieved on 2024-05-27 00:39 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
