Sciweavers

4476 search results - page 555 / 896
» A flexible framework for engineering
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Usability Implications of Requiring Parameters in Objects' Constructors
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
Jeffrey Stylos, Steven Clarke
VMCAI
2010
Springer
16 years 4 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
FASE
2010
Springer
16 years 1 months ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...
TASE
2009
IEEE
16 years 1 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
KBSE
2009
IEEE
16 years 1 months ago
Service Substitution Revisited
The current state of the art concerning the problem of service substitution raises the following issue: the complexity of the substitution process scales up with the number of ava...
Dionysis Athanasopoulos, Apostolos Zarras, Val&eac...