Sciweavers

433 search results - page 38 / 87
» Model-driven Development of Complex Software: A Research Roa...
Sort
View
JUCS
2006
109views more  JUCS 2006»
15 years 1 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
126
Voted
BMCBI
2008
92views more  BMCBI 2008»
15 years 1 months ago
OpenMS - An open-source software framework for mass spectrometry
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
Marc Sturm, Andreas Bertsch, Clemens Gröpl, A...
ICSM
1999
IEEE
15 years 6 months ago
A Two-Phase Process for Software Architecture Improvement
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...
René L. Krikhaar, André Postma, M. P...
ICFEM
1997
Springer
15 years 6 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
INFSOF
2010
146views more  INFSOF 2010»
14 years 11 months ago
Links between the personalities, views and attitudes of software engineers
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...