Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

KBSE
1997
IEEE

favoriteEmaildiscussreport

130views Software Engineering» more KBSE 1997»

Declarative Specification of Software Architectures

13 years 8 months ago

Declarative Specification of Software Architectures

Download ti.arc.nasa.gov

John Penix, Perry Alexander, Klaus Havelund

Real-time Traffic

KBSE 1997 | Software Engineering |

claim paper

Related Content

» Generating User Interface Code in a Model Based User Interface Development Environment

» Bidirectional Synchronization of Multiple Views of Software Models

» Kato A Program Slicing Tool for Declarative Specifications

» Inferring Declarative Requirements Specifications from Operational Scenarios

» Generative metaprogramming

» XML Query Forms XQForms Declarative Specification of XML Query Interfaces

» Specification analysis and simulation of the dynamics within an organisation

» Composing Web Services Specifications Experiences in Implementing PolicyDriven Transaction...

» Checking Architectural and Implementation Constraints for DomainSpecific Component Framewo...

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	KBSE
Authors	John Penix, Perry Alexander, Klaus Havelund

Comments (0)