Search Sciweavers | Sciweavers

22698 search results - page 27 / 4540

» Modeling in Software Engineering

click to vote

ICFEM
2004
Springer

118views Software Engineering» more ICFEM 2004»

A CLP Approach to Modelling Systems

14 years 23 days ago

Download research.microsoft.com

Joxan Jaffar

claim paper

Read More »

click to vote

IASTEDSEA
2004

147views Software Engineering» more IASTEDSEA 2004»

XML-based programming language modeling: An approach to software engineering

13 years 8 months ago

Download www.dbis.ethz.ch

Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...

Christian Reichel, Roy Oberhauser

claim paper

Read More »

click to vote

APN
2006
Springer

208views Artificial Intelligence» more APN 2006»

ArgoSPE: Model-Based Software Performance Engineering

13 years 11 months ago

Download webdiis.unizar.es

Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...

Elena Gómez-Martínez, José Me...

claim paper

Read More »

click to vote

ECBS
2006
IEEE

153views Hardware» more ECBS 2006»

A Unified Approach for Verification and Validation of Systems and Software Engineering Models

13 years 11 months ago

Download users.encs.concordia.ca

We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...

Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers