IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Software Specification and Des ...

Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on

Date 25-26 Oct. 1991

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)

A model for composite system design

Swarming over the software barrier [parallel programming]

Prototyping and formal analysis of concurrent and distributed systems

Addressing requirements issues within a conceptual modeling environment

An integration environment to put formal specifications into practical use in real-time systems

Specifying groupware requirements from direct experience

Abstraction and composition in Δ-specifications of concurrent systems

Preconditions for understanding [formal specification]

Heterogeneous design idioms for software architecture

Dealing with different time scales in formal specifications

Overcoming shortcomings in schema-based software design systems

Seven (plus or minus two) challenges for requirements research

Reuse of analogous specifications during requirements analysis

Equational reasoning about LOTOS specifications: a rewriting approach

Developing reactive systems in a VDM framework

Authoring-in-the-large: software engineering techniques for hypertext application design

Real-time specification and modeling with joint actions

Advantages and limits of formal approaches for ultra-high dependability

A formal specification of a visual language editor

FUNSOFT nets: a Petri-net based software process modeling language

Techniques for the design of communicating processes

Specification criticism via goal-directed envisionment

On the specification of software components

Designing software for customization and evolution

IEEE Account

Purchase Details

Profile Information

Need Help?