352 search results - page 58 / 71 » Model-Based Development: Combining Engineering Approaches an... |
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
103
click to vote
IUI
2010
ACM
15 years 6 months ago
2010
ACM
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...
78
Voted
CSMR
2009
IEEE
15 years 6 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
103
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...