493 search results - page 38 / 99 » An Analysis of Tool-Based Research in Software Engineering |
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
SEKE
1994
Springer
15 years 2 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
ICSM
1999
IEEE
15 years 2 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
100
click to vote
EMSOFT
2006
Springer
14 years 12 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...