5972 search results - page 206 / 1195 » Extending Design Environments to Software Architecture Desig... |
131
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
170
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
150
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
141
Voted
CASCON
1997
15 years 6 months ago
1997
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...
152
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...