805 search results - page 1 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
ER
2008
Springer
13 years 8 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
KBSE
2003
IEEE
14 years 9 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
ATVA
2005
Springer
14 years 17 days ago
2005
Springer
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...