Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:conf/iwssd:"
@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 = {Thu, 20 Jun 2024 01:00:00 +0200}, 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} }
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.