30 search results - page 4 / 6 » isse 2010 |
115
click to vote
SAMOS
2010
Springer
14 years 9 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
AUTOMATICA
2010
14 years 8 months ago
2010
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...
117
click to vote
ISSE
2010
14 years 9 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
ISSE
2010
14 years 9 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 9 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...