Sciweavers

9974 search results - page 143 / 1995
» Software Interconnection Models
Sort
View
RWEB
2010
Springer
14 years 11 months ago
Model Driven Engineering with Ontology Technologies
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
Steffen Staab, Tobias Walter, Gerd Gröner, Fe...
ISPW
2011
IEEE
14 years 5 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
ENTCS
2008
118views more  ENTCS 2008»
15 years 2 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
ISSRE
2005
IEEE
15 years 7 months ago
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
Fei Xing, Ping Guo, Michael R. Lyu
JITECH
2010
160views more  JITECH 2010»
14 years 8 months ago
Social software for business process modeling
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
Agnes Koschmider, Minseok Song, Hajo A. Reijers