1459 search results - page 173 / 292 » Tool Supported Development of Service-Based Systems |
165
click to vote
FMOODS
2007
15 years 5 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
121
click to vote
IEE
2007
15 years 4 months ago
2007
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
146
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
156
click to vote
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
129
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...