| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Motoshi Saeki, Takeshi Hiroi, Takanori Ugai |
Reflective Specification: Applying A Reflective Language to Formal Specification.  |
IWSSD  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer |
Fine-Grain Process Modelling. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | H. Conrad Cunningham |
Swarming over the software barrier. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman (eds.) |
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991 |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Scott Meyers, Steven P. Reiss |
A system for multiparadigm development of software systems. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Robert G. Babb II |
Issues in the specification and design of parallel programs. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Yves Schobbens |
On the meaning of "but". |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Eckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather |
A model for composite system design. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto |
Dealing with different time scales in formal specifications. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Amy Moormann Zaremski |
A formal specification of a visual language editor. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Goedicke, Harald Schumann, Joachim Cramer |
On the specification of software components. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mary Shaw |
Heterogeneous design idioms for software architecture. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Advantages and limits of formal approaches for ultra-high dependability. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Y. Hirakawa, T. Takenaka |
Telecommunication service description using state transition rules. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | David A. Marca |
Specifying groupware requirements from direct experience. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Prototyping and formal analysis of concurrent and distributed systems. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering |
Abstraction and composition in Δ-specifications of concurrent systems. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | David R. Barstow, Guillermo Arango |
Designing software for customization and evolution. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Reino Kurki-Suonio, Kari Systä, Jüri Vain |
Real-time specification and modeling with joint actions. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jozef Hooman, Ruurd Kuiper 0001, Ping Zhou |
A compositional proof system for real-time systems based on explicit clock temporal logic. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Damy, Guy-René Perrin |
Techniques for the design of communicating processes. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Franca Garzotto, Paolo Paolini, Daniel Schwabe |
Authoring-in-the-large: software engineering techniques for hypertext application design. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Declarative specification and declarative programming. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rocco De Nicola, Paola Inverardi, Monica Nesi |
Equational reasoning about LOTOS specifications: a rewriting approach. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Neil A. M. Maiden, Alistair G. Sutcliffe |
Reuse of analogous specifications during requirements analysis. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Colin Potts |
Seven (plus or minus two) challenges for requirements research. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hing-Yan Lee, Mehdi T. Harandi |
Overcoming shortcomings in schema-based software design systems. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Emmerich, Volker Gruhn |
FUNSOFT nets: a Petri-net based software process modeling language. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega |
Experiences using statecharts for a system requirements specification. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Anne Dardenne, Stephen Fickas, Axel van Lamsweerde |
Goal-directed concept acquisition in requirements elicitation. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sol J. Greenspan, Mark Feblowitz, M. Chandra Shekaran, James F. Tremlett |
Addressing requirements issues within a conceptual modeling environment. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini |
PoliS: a programming model for multiple tuple spaces. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | David Garlan |
Preconditions for understanding. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira |
An integration environment to put formal specifications into practical use in real-time systems. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Yves Ledru |
Developing reactive systems in a VDM framework. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Keith L. Downing, Stephen Fickas |
Specification criticism via goal-directed envisionment. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth |
Reasoning of real-time distributed programming languages. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman M. Delisle, David Garlan |
Formally specifying electronic instruments. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe |
Analysis capabilities for requirements specified in statecharts. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Gerth, Amir Pnueli |
Rooting UNITY. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
An operational semantics of real time design language RT-CDL. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee, Morris Sloman |
Configuration support for system description, construction and evolution. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Marca |
Specifying coordinators: guidelines for groupware developers. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaizhi Yue |
Representing first order logic-based specifications in Petri-net-like graphs. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Reino Kurki-Suonio, H.-M. Järvinen |
Action system approach to the specification and design of distributed systems. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Arango |
Domain analysis: from art form to engineering discipline. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Summersgill, Dermot P. Browne |
Human factors: its place in system development methods. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph L. London, Kathleen Milsted |
Specifying reusable components using Z: realistic sets and dictionaries. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio César Sampaio P. Leite |
Viewpoint analysis: a case study. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ira R. Forman |
Design by decomposition of multiparty interactions in Raddle87. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard D'Ippolito, Charles Plinta |
Software development using models. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Eisenbach, Lee McLoughlin, Chris Sadler |
Data-flow design as a visual programming language. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard B. Reubenstein, Richard C. Waters |
The requirements apprentice: an initial scenario. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Takuo Watanabe, Akinori Yonezawa |
Reflective computation in object-oriented concurrent systems and its applications. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Ramsey |
Developing formally verified Ada programs. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Harpal S. Dhama, Victor Shtern |
A net method for specification of reusable software. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin S. Feather |
Detecting interference when merging specification evolutions. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Celso Niskier, Tom Maibaum, Daniel Schwabe |
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Finkelstein, Hugo Fuks |
Multiparty specification. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | D. G. Weber |
Formal specification of fault-tolerance and its relation to computer security. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bräunl |
A specification language for parallel architectures and algorithms. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Kenneth C. Cox |
Implementing a shared dataspace language on a message-based multiprocessor. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. Robinson |
Integrating multiple specifications using domain goals. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert W. Schwanke, Rita Z. Altucher, Michael A. Platoff |
Discovering, visualizing, and controlling software structure. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil |
An example of formal specification as an aid to design and development. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuyau Lin, Frances E. Hunt |
LCD-reification: a formal method for developing Prolog programs. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy |
Systematic design of algebraic specifications. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kooij |
Interface specification with temporal logic. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann von Issendorff |
On the algebraic representation and treatment of processing structures. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Thompson |
Functional programming: executable specifications and program transformations. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoëlle S. Maarek, Daniel M. Berry |
The use of lexical affinities in requirements extraction. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Shaw |
Larger scale systems require higher-level abstractions. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon M. Kaplan, Steven K. Goering, Roy H. Campbell |
Specifying concurrent systems with Δ-grammars. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Dubois 0005 |
A logic of action for supporting goal-oriented elaborations of requirements. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Peters |
Timing extensions to structured analysis for real time systems. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè |
A general way to put time in Petri nets. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald B. Williams, Chunka Mui, Vairam Alagappan, Bruce B. Johnson |
Software design issues: a very large information systems perspective. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanth Miriyala, Mehdi T. Harandi |
Analogical approach to specification derivation. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sol J. Greenspan (eds.) |
Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989 |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | M. M. Pett, Michael D. Rice, Stephen B. Seidman |
A formal framework for the design of development environments. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Anderson, Stephen Fickas |
A proposed perspective shift: viewing specification design as a planning problem. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Limei Gilham, Allen Goldberg, Tie-Cheng Wang |
Toward reliable reactive systems. |
IWSSD |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license