Search Sciweavers | Sciweavers

4919 search results - page 42 / 984

» A Process-Ontological Model for Software Engineering

121

click to vote

COMPSAC
2007
IEEE

154views Software Engineering» more COMPSAC 2007»

A metamodel for the notation of graphical modeling languages

15 years 10 months ago

Download www.jos.org.cn

Xiao He, Zhiyi Ma, Weizhong Shao, Ge Li

claim paper

Read More »

149

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 10 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

168

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 10 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

148

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 10 months ago

Download aswsd.ucsd.edu

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...

claim paper

Read More »

154

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers