Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
We propose a knowledge-based approach of refining web application systems from upper-stream models to program-models. The uppermost specifications and upper-stream models have significant effects on the program models from which we can derive source programs in text format. For deriving program models, analysis of upper-stream models and design integration of information obtained from the analysis are required, as program models and the structure of them often include those parts which are not included explicitly in the upper-stream model. We discuss specifications, models, knowledge, and refinement process on each of domains: user interaction, communication subsystem and database.