1116 search results - page 126 / 224 » An Eclipse-based tool framework for software model managemen... |
172
click to vote
ICRA
2007
IEEE
16 years 19 days ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
162
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
149
click to vote
ICST
2008
IEEE
16 years 22 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
208
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
236
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...