Sciweavers

1908 search results - page 46 / 382
» How to teach software modeling
Sort
View
ISPW
2011
IEEE
14 years 1 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 ...
FPL
2007
Springer
105views Hardware» more  FPL 2007»
15 years 3 months ago
An Execution Model for Hardware/Software Compilation and its System-Level Realization
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
Holger Lange, Andreas Koch
JCP
2007
118views more  JCP 2007»
14 years 9 months ago
Tutoring an Entire Game with Dynamic Strategy Graphs: The Mixed-Initiative Sudoku Tutor
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
Allan Caine, Robin Cohen
ISSRE
2005
IEEE
15 years 3 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
EXPERT
2007
98views more  EXPERT 2007»
14 years 9 months ago
Adopting Software Engineering Trends in AI
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
Dragan Djuric, Vladan Devedzic, Dragan Gasevic