Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667916
A. Murphy, G. Roman, G. Varghese
With recent advances in wireless communication and the ubiquity of laptops, mobile computing has become an important research area. An essential problem in mobile computing is the delivery of a message from a source (stationary or mobile) to a desired mobile unit. Standard solutions used in Mobile IP and cellular phones rely on tracking the mobile unit. Tracking solutions scale badly when mobile units move frequently. Our paper proposes a new message delivery algorithm and includes a proof outline using the UNITY logic. Our algorithm requires no tracking and provides stronger guarantees than existing protocols.
{"title":"An exercise in formal reasoning about mobile communications","authors":"A. Murphy, G. Roman, G. Varghese","doi":"10.1109/IWSSD.1998.667916","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667916","url":null,"abstract":"With recent advances in wireless communication and the ubiquity of laptops, mobile computing has become an important research area. An essential problem in mobile computing is the delivery of a message from a source (stationary or mobile) to a desired mobile unit. Standard solutions used in Mobile IP and cellular phones rely on tracking the mobile unit. Tracking solutions scale badly when mobile units move frequently. Our paper proposes a new message delivery algorithm and includes a proof outline using the UNITY logic. Our algorithm requires no tracking and provides stronger guarantees than existing protocols.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123229565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1998-04-16DOI: 10.1109/IWSSD.1998.667935
C. Turner, A. Fuggetta, L. Lavazza, A. Wolf
The notion of feature is widely used to denote the functional structure and visible properties of a software system. More specifically, features are meant to represent a user centric organization of a software system's functionality. Yet, other than during requirements analysis, features are seldom treated explicitly by most existing tools and methods. The paper argues that a feature orientation can provide benefits to software developers throughout the software life cycle. We envisage specific applications of the notion of feature that provide a powerful and unifying structure for software life cycle artifacts and activities. We discuss the problems and issues to be addressed, a brief summary of our current research work, and suggestions and directions for future research in a new area we call "feature engineering".
{"title":"Feature engineering [software development]","authors":"C. Turner, A. Fuggetta, L. Lavazza, A. Wolf","doi":"10.1109/IWSSD.1998.667935","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667935","url":null,"abstract":"The notion of feature is widely used to denote the functional structure and visible properties of a software system. More specifically, features are meant to represent a user centric organization of a software system's functionality. Yet, other than during requirements analysis, features are seldom treated explicitly by most existing tools and methods. The paper argues that a feature orientation can provide benefits to software developers throughout the software life cycle. We envisage specific applications of the notion of feature that provide a powerful and unifying structure for software life cycle artifacts and activities. We discuss the problems and issues to be addressed, a brief summary of our current research work, and suggestions and directions for future research in a new area we call \"feature engineering\".","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132104046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1998-02-01DOI: 10.1109/IWSSD.1998.667934
Barbara Lerner, S. Sutton, L. Osterweil
Software design methods typically focus on the activities that individual designers should perform under ideal circumstances. They rarely, if ever, address the activities that should be performed when things do not go according to plan, such as when a customer requests changes to the specification, or when early design decisions must be changed. They also rarely address issues involving coordination of multiple designers in cooperative design tasks or in competition for limited resources. We are investigating fundamental concepts required for more complete definition of design methods, developing linguistic mechanisms within a process programming language to support these concepts, and validating these through the definition of a process program that incorporates the Booch method.
{"title":"Enhancing design methods to support real design processes","authors":"Barbara Lerner, S. Sutton, L. Osterweil","doi":"10.1109/IWSSD.1998.667934","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667934","url":null,"abstract":"Software design methods typically focus on the activities that individual designers should perform under ideal circumstances. They rarely, if ever, address the activities that should be performed when things do not go according to plan, such as when a customer requests changes to the specification, or when early design decisions must be changed. They also rarely address issues involving coordination of multiple designers in cooperative design tasks or in competition for limited resources. We are investigating fundamental concepts required for more complete definition of design methods, developing linguistic mechanisms within a process programming language to support these concepts, and validating these through the definition of a process program that incorporates the Booch method.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121269301","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：