Sciweavers

2846 search results - page 262 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
COMSWARE
2007
IEEE
16 years 1 months ago
Role Based Access Control for UDDI Inquiries
— Web Services are commonly used by organizations for B2B integration and enterprise application integration. UDDI registries are widely used as mechanisms for businesses to list...
Raymond Peterkin, Jinsuk Solomon, Dan Ionescu
SAC
2010
ACM
16 years 1 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
WWW
2006
ACM
16 years 7 months ago
Rapid prototyping of web applications combining domain specific languages and model driven design
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
Demetrius Arraes Nunes, Daniel Schwabe
ASWEC
2007
IEEE
16 years 1 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
IWPC
2005
IEEE
16 years 7 days ago
An Investigation into Professional Programmers' Mental Representations of Variables
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
Jorma Sajaniemi, Raquel Navarro-Prieto