Sciweavers

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

62

Voted

DLOG
2003

favoriteEmaildiscussreport

107views Automated Reasoning» more DLOG 2003»

Modeling Software

14 years 12 months ago

Modeling Software

Download geocalc.clas.asu.edu

John Mylopoulos

Real-time Traffic

Automated Reasoning | DLOG 2003 |

claim paper

Related Content

» Integrating Business and Software Development Models

» Software Business Models and Contexts for Software Innovation Key Areas for Software Busin...

» Integrating Software Lifecycle Models into a uniform Software Engineering Model

» Deriving Software Process Simulation Model from SPEMbased Software Process Model

» Threat Modeling Diving into the Deep End

» Software Process Modeling Principles of Entity Process Models

» Active Models A Possible Approach to the Integration of Objective and Subjective Process M...

» Formal Software Analysis Emerging Trends in Software Model Checking

» Analyzing the Business of Software A Modelling Technique for Software Supply Networks

» Automotive Software A Challenge and Opportunity for ModelBased Software Development

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	DLOG
Authors	John Mylopoulos

Comments (0)