Sciweavers

15777 search results - page 495 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
FOSSACS
2001
Springer
15 years 9 months ago
The Complexity of Model Checking Mobile Ambients
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...
GCSE
2001
Springer
15 years 9 months ago
Generating Application Development Environments for Java Frameworks
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
ICSE
2001
IEEE-ACM
15 years 9 months ago
Separating Features in Source Code: An Exploratory Study
Gail C. Murphy, Albert Lai, Robert J. Walker, Mart...
RE
2001
Springer
15 years 9 months ago
Integrating Organizational Requirements and Object Oriented Modeling
Jaelson Castro, John Mylopoulos, Fernanda M. R. Al...