Sciweavers

5407 search results - page 175 / 1082
» The Software Engineering Global Model
Sort
View
114
Voted
EUROMICRO
2002
IEEE
15 years 8 months ago
Combining Models for Business Decisions and Software Development
Today there is a number of established software development lifecycle models (SDLMs) supporting software development. Correct implementation of these models helps develop software...
Christina Wallin, Stig Larsson, Fredrik Ekdahl, Iv...
104
Voted
FASE
2010
Springer
15 years 6 months ago
An Automata-Theoretic Approach to Hardware/Software Co-verification
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
120
Voted
MODELS
2009
Springer
15 years 10 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
ICSE
1987
IEEE-ACM
15 years 7 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
STEP
2005
IEEE
15 years 9 months ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron