Sciweavers

1173 search results - page 111 / 235
» On the Compositionality of Round Abstraction
Sort
View
SIGSOFT
2005
ACM
16 years 1 months ago
Information hiding interfaces for aspect-oriented design
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
Kevin J. Sullivan, William G. Griswold, Yuanyuan S...
117
Voted
ASM
2010
ASM
15 years 7 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
FOSSACS
2009
Springer
15 years 7 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi
ICFCA
2010
Springer
15 years 7 months ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende
87
Voted
ISCAS
2008
IEEE
135views Hardware» more  ISCAS 2008»
15 years 7 months ago
Semi-blind channel estimation of MIMO-OFDM systems with pulse shaping
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy