Search Sciweavers | Sciweavers

3856 search results - page 52 / 772

» Models for Automated Earthmoving

112

click to vote

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

15 years 8 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

click to vote

ICRA
2002
IEEE

101views Robotics» more ICRA 2002»

Modeling of Complex Automation Systems using Colored State Charts

15 years 8 months ago

Download www.theoinf.tu-ilmenau.de

Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 8 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

103

click to vote

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

15 years 7 months ago

Download ast2009.com

Alberto Avritzer, Elaine J. Weyuker

claim paper

Read More »

112

click to vote

MAAMAW
1994
Springer

109views Intelligent Agents» more MAAMAW 1994»

DA-Soc: A Testbed for Modelling Distribution Automation Applications Using Agent-Oriented Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers