Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 63-74, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
1 | Tim Menzies |
The Complexity of TRMCS-like Spiral Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 183-190, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander |
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 3-10, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Graphic Animation, Labeled Transition System, Air Traffic Control, Hybrid Models |
1 | Xavier Burgués Illa, Xavier Franch, Joan Antoni Pastor |
Formalising ERP Selection Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 115-122, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
ERP, requirements specification, Software selection |
1 | Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro |
Superposing Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 87-94, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Daniel M. Berry, Erik Kamsties |
The Dangerous 'All' in Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 191-194, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
universal quantifier, indicative sentence, optative sentence, dangerous, true, false |
1 | Martin Glinz |
Problems and Deficiencies of UML as a Requirements Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 11-22, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
model, UML, decomposition, use case, requirements specification |
1 | Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper |
Design and Development Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 105-114, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Assessment, Software Processes, Risk Management, Requirements Elicitation, Quality Assurance, Capability Maturity Model, Tradeoffs |
1 | Víctor A. Braberman, Fabio Pieniazek |
Duration Properties over Real Time System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 51-62, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Duration Properties, Model-Checking, Timed Automata, Real-Time System Designs |
1 | Orna Raz, Mary Shaw |
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 159-170, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Medium-assurance software, everyday software, fitness for task, open resource coalitions, sufficient correctness, software homeostasis, distributed component-based software, fault tolerance |
1 | Aditya K. Ghose |
Formal Tools for Managing Inconsistency and Change in RE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 171-182, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
formal methods, Requirements engineering |
1 | Claudia Pons, Roxana S. Giandini, Gabriel Baum |
Dependency Relations between Models in the Unified Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 149-158, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 133-140, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts |
1 | David Garlan, Serge Khersonsky |
Model Checking Implicit-Invocation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 23-30, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
model checking, publish-subscribe, Implicit invocation |
1 | Mauro Cioffi, Flavio Corradini |
Specification and Analysis of Timed and Functional TRMCS Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 31-38, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Giovanni Bricconi, Emma Tracanella, Elisabetta Di Nitto |
Issues in Analyzing the Behavior of Event Dispatching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 95-104, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Event notification systems, performance evaluation, software architectures, middleware |
1 | Aaron G. Cass, Leon J. Osterweil |
Design Guidance through the Controlled Application of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 195-200, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger |
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 123-132, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![IEEE Computer Society, 0-7695-0884-7 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Roel J. Wieringa |
The Declarative Problem Frame: Designing Systems that Create and Use Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 75-86, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Laura A. Campbell, Betty H. C. Cheng |
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 39-50, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
simulation, formal specifications, design process, Object-oriented modeling, automated analysis |
1 | Andrea Zisman, Wolfgang Emmerich, Anthony Finkelstein |
Using XML to Build Consistency Rules for Distributed Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 141-148, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
consistency rules, XML, Inconsistency, XPointer |
1 | Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama |
Incremental Software Development Method Based on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 126-134, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | |
Program and Organizing Committees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 8, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![IEEE Computer Society, 978-0-8186-8439-5 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Eric Dubois 0001, Michael Petit 0001, Eric Yu 0001 |
From Early to Late Formal Requirements: A Process-Control Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 34-42, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Daniel M. Berry |
The Safety Requirements Engineering Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 147-149, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Maritta Heisel, Jeanine Souquières |
Methodological Support for Requirements Elicitation and Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 153-155, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Julio César Sampaio do Prado Leite, María Carmen Leonardi |
Business Rules as Organizational Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 68-76, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Bashar Nuseibeh, Alessandra Russo |
On the Consequences of Acting in the Presence of Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 156-158, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto |
Towards a Software Engineering Approach to Web Site Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 8-17, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Paola Inverardi, Calogero Mangano, Fabrizio Russo 0004, Simonetta Balsamo |
Performance Evaluation of a Software Architecture: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 116-125, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Barbara Staudt Lerner, Stanley M. Sutton Jr., Leon J. Osterweil |
Enhancing Design Methods to Support Real Design Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 159-161, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Roel J. Wieringa |
Traceability and Modularity in Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 87-95, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou |
Software Architecture Directed Behaviour Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 144-146, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Andrew Simpson, Jim Woodcock 0001, Jim Davies |
Safety through Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 18-24, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Steve Easterbrook, John R. Callahan, Virginie Wiels |
V & V through Inconsistency Tracking and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 43-49, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Bruno Ginoux, Jean-Luc Dormoy, Claudia Jimenez-Dominguez, Jean-Yves Lucas, Laurent Pierre |
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 106-115, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Carlton Reid Turner, Alexander L. Wolf, Alfonso Fuggetta, Luigi Lavazza |
Feature Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 162-164, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jens H. Weber, Albert Zündorf |
Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 77-86, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Xavier Franch, Pere Botella |
Putting non-functional requirements into software architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 60-67, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 7, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michel Wermelinger, José Luiz Fiadeiro |
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 135-143, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Paolo Ciancarini, Giuseppe Franzè, Cecilia Mascolo |
A Coordination Model to Specify Systems Including Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 96-105, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard |
Reconciling System Requirements and Runtime Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 50-59, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich |
Modal Logic as a Design Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 150-152, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Amy L. Murphy, Gruia-Catalin Roman, George Varghese |
An Exercise in Formal Reasoning about Mobile Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 25-33, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Alan Kaplan, John V. E. Ridgway, Jack C. Wileden |
Why IDLs are Not Ideal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998, pp. 2-6, 1998, IEEE Computer Society, 978-0-8186-8439-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Anthony Finkelsteiin, George Spanoudakis, Mark Ryan 0001 |
Software Package Requirements and Procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 141-145, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Wojtek Kozaczynski, Jim Q. Ning |
Concern-driven design for a specification language supporting component-based software engineerin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 150-154, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Bashar Nuseibeh |
To Be and Not to Be: On Managing Inconsistency in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 164-169, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Alexander Ran, Juha Kuusela |
Design Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 172-175, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Gruia-Catalin Roman, Delbert Hart, Charles Calkins |
Visual Presentation of Software Specifications and Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 115-124, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Nicole Lévy, Jeanine Souquières |
A "Coming and Going" Approach to Specification Construction: A Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 155-158, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Paul C. Clements |
A Survey of Architecture Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 16-25, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Leon J. Osterweil, Xiping Song |
Assuring Accuracy and Impartiality in Software Design Methodology Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 170-171, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | |
Message from the Chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 9-15, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Robert W. Schwanke, Veronika A. Strack, Thomas Werthmann-Auzinger |
Industrial software architecture with Gestalt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 176-180, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd |
Specification and Verification of Real-Time Properties Using LOTOS and SQTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 75-84, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Michael Goedicke, Bettina Eva Sucrow |
Towards a formal specification method for graphical user interfaces using modularized graph grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 56-65, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | |
Message from the Chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 7-8, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![IEEE Computer Society, 978-0-8186-7361-0 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Neil A. M. Maiden, Alistair G. Sutcliffe |
A computational mechanism for parallel problem decomposition during requirements engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 159-163, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Anthony Finkelstein, John Dowell |
A comedy of errors: the London Ambulance Service case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 2-5, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Mary Shaw |
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 181-185, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Paola Inverardi, Daniel Yankelevich |
Relating CHAM Descriptions of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 66-74, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Steve Easterbrook |
Learning from Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 136-140, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Matthias Radestock, Susan Eisenbach |
Formalizing System Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 95-104, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Stanley M. Sutton Jr., Leon J. Osterweil |
PDP: Programming A Programmable Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 186-190, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Tetsuo Tamai |
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 125-135, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Robert Allen, David Garlan |
A Case Study in Architectural Modelling: The AEGIS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 6, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | António Rito Silva, João Pereira 0002, Pedro Sousa |
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 105-114, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Joachim Karlsson, Kevin Ryan |
Supporting the Selection of Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 146-149, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Wolfgang Emmerich |
Tool Specification with GTSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 26-35, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Julio César Sampaio do Prado Leite, Ana Paula Pinho Gilvaz |
Requirements Elicitation Driven by Interviews: The Use of Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 85-94, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Mark Feblowitz, Sol J. Greenspan, Howard B. Reubenstein, Robert Walford |
ACME/PRIME: Requirements Acquisition for Process-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 36-45, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | José Luiz Fiadeiro, Tom Maibaum |
A Mathematical Toolbox for the Software Architec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 46-55, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ugo A. Buy, Robert H. Sloan |
A Petri-Net -Based Approach to Real-Time Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 56-60, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Joanne L. Boyd, Gerald M. Karam |
Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 184-193, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | James C. Corbett |
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 100-109, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Fuyau Lin |
Design and Validation of a Message-Passing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 10-19, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews |
A Framework for Program Development Based on Schematic Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 162-171, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Carlo Bellettini, Miguel Felder, Mauro Pezzè |
Merlot: A Tool for Analysis of Real-Time Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 110-119, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | H. Conrad Cunningham, Yinxiu Cai |
Specification and Refinement of a Message Router. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 20-29, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Kuo-Chung Tai, Pramod V. Koppol |
An Incremental Approach to Reachability Analysis of Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 141-150, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Colin Potts, Kenji Takahashi |
An Active Hypertext Model for System Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 62-68, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde (eds.) |
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | P. Wolff |
Related Specifications Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 152-161, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Alice Faulstich-Brady |
A Taxonomy of Inheritance Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 194-203, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | David A. Marca, Clement L. McGowan |
Specifications Approaches Express Different World Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 214-223, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Alistair G. Sutcliffe, Neil A. M. Maiden |
Bridging the Requirements Gap: Policies, Goals, and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 52-55, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Carlo Ghezzi, Mauro Pezzè |
Towards Extensible Graphical Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 69-77, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Yamine Aït Ameur |
Predicting Operational Behaviour of Abstract Programs During Formal Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 172-181, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dilip Soni, Robert L. Nord, Liang H. Hsu |
An Empirical Approach to Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 47-51, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Kenneth R. Wood |
A Pragmatic Basis for the Formal Development of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 132-140, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | R. Das, Alan D. Fekete |
Modular Reasoning About Open Systems: A Case Study of Distributed Commit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 30-39, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
Specifying Reactive Systems by Abstract Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 122-131, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Shiyuan Ding, Takuya Katayama |
Specifying Reactive Systems with Attributed Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 90-99, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Oscar Barros |
Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 78-87, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | T. S. E. Maibaum |
Taking More of the Soft out of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993, pp. 2-7, 1993, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|