| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
| 1 | Tim Menzies |
The Complexity of TRMCS-like Spiral Specification. |
IWSSD |
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. |
IWSSD |
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. |
IWSSD |
2000 |
DBLP BibTeX RDF |
ERP, requirements specification, Software selection |
| 1 | Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro |
Superposing Connectors. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry, Erik Kamsties |
The Dangerous 'All' in Specifications. |
IWSSD |
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. |
IWSSD |
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. |
IWSSD |
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. |
IWSSD |
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. |
IWSSD |
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. |
IWSSD |
2000 |
DBLP BibTeX RDF |
formal methods, Requirements engineering |
| 1 | Claudia Pons, Roxana S. Giandini, Gabriel Baum |
Dependency Relations between Models in the Unified Process. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics. |
IWSSD |
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. |
IWSSD |
2000 |
DBLP BibTeX RDF |
model checking, publish-subscribe, Implicit invocation |
| 1 | Mauro Cioffi, Flavio Corradini |
Specification and Analysis of Timed and Functional TRMCS Behaviours. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Bricconi, Emma Tracanella, Elisabetta Di Nitto |
Issues in Analyzing the Behavior of Event Dispatching Systems. |
IWSSD |
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. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger |
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. |
IWSSD |
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 |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roel J. Wieringa |
The Declarative Problem Frame: Designing Systems that Create and Use Norms. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Laura A. Campbell, Betty H. C. Cheng |
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. |
IWSSD |
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. |
IWSSD |
2000 |
DBLP BibTeX RDF |
consistency rules, XML, Inconsistency, XPointer |
| 1 | Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama |
Incremental Software Development Method Based on Abstract Interpretation. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | |
Program and Organizing Committees. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998 |
IWSSD |
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. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry |
The Safety Requirements Engineering Dilemma. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maritta Heisel, Jeanine Souquières |
Methodological Support for Requirements Elicitation and Formal Specification. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Julio César Sampaio do Prado Leite, María Carmen Leonardi |
Business Rules as Organizational Policies. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Alessandra Russo |
On the Consequences of Acting in the Presence of Inconsistency. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto |
Towards a Software Engineering Approach to Web Site Development. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Calogero Mangano, Fabrizio Russo 0004, Simonetta Balsamo |
Performance Evaluation of a Software Architecture: A Case Study. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Barbara Staudt Lerner, Stanley M. Sutton Jr., Leon J. Osterweil |
Enhancing Design Methods to Support Real Design Processes. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Roel J. Wieringa |
Traceability and Modularity in Software Design. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou |
Software Architecture Directed Behaviour Analysis. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andrew Simpson, Jim Woodcock 0001, Jim Davies |
Safety through Security. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Steve Easterbrook, John R. Callahan, Virginie Wiels |
V & V through Inconsistency Tracking and Analysis. |
IWSSD |
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. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carlton Reid Turner, Alexander L. Wolf, Alfonso Fuggetta, Luigi Lavazza |
Feature Engineering. |
IWSSD |
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. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Xavier Franch, Pere Botella |
Putting non-functional requirements into software architecture. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | |
Foreword. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michel Wermelinger, José Luiz Fiadeiro |
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Giuseppe Franzè, Cecilia Mascolo |
A Coordination Model to Specify Systems Including Mobile Agents. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard |
Reconciling System Requirements and Runtime Behavior. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich |
Modal Logic as a Design Notation. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Amy L. Murphy, Gruia-Catalin Roman, George Varghese |
An Exercise in Formal Reasoning about Mobile Communications. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alan Kaplan, John V. E. Ridgway, Jack C. Wileden |
Why IDLs are Not Ideal. |
IWSSD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Anthony Finkelsteiin, George Spanoudakis, Mark Ryan 0001 |
Software Package Requirements and Procurement. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Wojtek Kozaczynski, Jim Q. Ning |
Concern-driven design for a specification language supporting component-based software engineerin. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bashar Nuseibeh |
To Be and Not to Be: On Managing Inconsistency in Software Development. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Alexander Ran, Juha Kuusela |
Design Decision Trees. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Delbert Hart, Charles Calkins |
Visual Presentation of Software Specifications and Designs. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Nicole Lévy, Jeanine Souquières |
A "Coming and Going" Approach to Specification Construction: A Scenario. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paul C. Clements |
A Survey of Architecture Description Languages. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil, Xiping Song |
Assuring Accuracy and Impartiality in Software Design Methodology Comparison. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | |
Message from the Chairs. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Robert W. Schwanke, Veronika A. Strack, Thomas Werthmann-Auzinger |
Industrial software architecture with Gestalt. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd |
Specification and Verification of Real-Time Properties Using LOTOS and SQTL. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Goedicke, Bettina Eva Sucrow |
Towards a formal specification method for graphical user interfaces using modularized graph grammars. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | |
Message from the Chairs. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996 |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Neil A. M. Maiden, Alistair G. Sutcliffe |
A computational mechanism for parallel problem decomposition during requirements engineering. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Anthony Finkelstein, John Dowell |
A comedy of errors: the London Ambulance Service case study. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mary Shaw |
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Daniel Yankelevich |
Relating CHAM Descriptions of Software Architectures. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Steve Easterbrook |
Learning from Inconsistency. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Matthias Radestock, Susan Eisenbach |
Formalizing System Structure. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Stanley M. Sutton Jr., Leon J. Osterweil |
PDP: Programming A Programmable Design Process. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Tetsuo Tamai |
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Robert Allen, David Garlan |
A Case Study in Architectural Modelling: The AEGIS System. |
IWSSD |
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. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Joachim Karlsson, Kevin Ryan |
Supporting the Selection of Software Requirements. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Emmerich |
Tool Specification with GTSL. |
IWSSD |
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. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark Feblowitz, Sol J. Greenspan, Howard B. Reubenstein, Robert Walford |
ACME/PRIME: Requirements Acquisition for Process-Driven Systems. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Tom Maibaum |
A Mathematical Toolbox for the Software Architec. |
IWSSD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ugo A. Buy, Robert H. Sloan |
A Petri-Net -Based Approach to Real-Time Program Analysis. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Joanne L. Boyd, Gerald M. Karam |
Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | James C. Corbett |
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fuyau Lin |
Design and Validation of a Message-Passing System. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews |
A Framework for Program Development Based on Schematic Proof. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Carlo Bellettini, Miguel Felder, Mauro Pezzè |
Merlot: A Tool for Analysis of Real-Time Specifications. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | H. Conrad Cunningham, Yinxiu Cai |
Specification and Refinement of a Message Router. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Kuo-Chung Tai, Pramod V. Koppol |
An Incremental Approach to Reachability Analysis of Distributed Programs. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Colin Potts, Kenji Takahashi |
An Active Hypertext Model for System Requirements. |
IWSSD |
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 |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | P. Wolff |
Related Specifications Reuse. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alice Faulstich-Brady |
A Taxonomy of Inheritance Semantics. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | David A. Marca, Clement L. McGowan |
Specifications Approaches Express Different World Hypotheses. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alistair G. Sutcliffe, Neil A. M. Maiden |
Bridging the Requirements Gap: Policies, Goals, and Domains. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Carlo Ghezzi, Mauro Pezzè |
Towards Extensible Graphical Formalisms. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yamine Aït Ameur |
Predicting Operational Behaviour of Abstract Programs During Formal Developments. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dilip Soni, Robert L. Nord, Liang H. Hsu |
An Empirical Approach to Software Architectures. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Kenneth R. Wood |
A Pragmatic Basis for the Formal Development of Distributed Systems. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | R. Das, Alan D. Fekete |
Modular Reasoning About Open Systems: A Case Study of Distributed Commit. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Egidio Astesiano, Gianna Reggio |
Specifying Reactive Systems by Abstract Events. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Shiyuan Ding, Takuya Katayama |
Specifying Reactive Systems with Attributed Finite State Machines. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Oscar Barros |
Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Taking More of the Soft out of Software Engineering. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license