Sciweavers

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

28

KBSE
1997
IEEE

favoriteEmaildiscussreport

130views Software Engineering» more KBSE 1997»

Declarative Specification of Software Architectures

14 years 3 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)