Sciweavers

2700 search results - page 219 / 540
» The role of abstraction in software engineering
Sort
View
ASWEC
2010
IEEE
15 years 6 months ago
Model-Centered Customizable Architectural Design Decisions Management
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...
Lianping Chen, Muhammad Ali Babar, Haiqi Liang
VMCAI
2005
Springer
16 years 5 hour ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
ASWEC
2008
IEEE
16 years 1 months ago
Modeling Input Validation in UML
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei...
FASE
2010
Springer
16 years 1 months ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
FASE
2009
Springer
16 years 1 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth