31,037 Hits in 5.1 sec

A Formal Approach to Website Maintenance

Lihua Duan, Jessica Chen
2007 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)  
We present our initial work on exploring automated verification techniques for this purpose, via algebraic reasoning and model checking on the abstract navigational behavior of the evolving web applications  ...  With the rapid evolutions of the web applications, effective maintenance techniques to guarantee the correctness of the evolutions are highly demanded.  ...  This work is supported by the Natural Sciences and Engineering Research Council of Canada under grant number RGPIN 209774.  ... 
doi:10.1109/hase.2007.52 dblp:conf/hase/DuanC07 fatcat:m2sk7r6qpjh7bjv755z7sxrcni


Jusmita Weriza, Danyl Malisza, Nuraeni Dahri, Meri Susanti
2021 Dinasti International Journal of Digital Business Management  
The research method uses the System Development Life Cycle (SDLC) with a Waterfall model approach which consists of 5 stages, namely, a) planning b) analysis c) design d) implementation e) maintenance.  ...  The programming language used is PHP, and the database application uses MySql data processing.  ...  UML (Unified Modeling Language) has diagrams that are used in making object-oriented applications, including: (Rosa and Salahuddin, 2014).  ... 
doi:10.31933/dijdbm.v2i6.1089 fatcat:ldfx4isqnbhixj2i6rrs6flpiq

Development Of Road Maintenance Management System Based On Webgis

Feng Xiao, Zhou Hongyu, YuCaixia
2012 Zenodo  
The design and application of WebGIS system are discussed on the basis of a case study of BaNan district of Chongqing highway maintenance management .The feasibility of the theories and methods are validated  ...  Based on an analysis of the current research and application of Road maintenance, geographic information system (WebGIS) and ArcGIS Server, the platform overhead construction for Road maintenance development  ...  GIS developers can use ArcGIS Server to construct Web application, Web services and enterprise application in J2EE Web server, also to construct desktop-GIS that communicate with the server by Client/Server  ... 
doi:10.5281/zenodo.1063332 fatcat:r2ag2wqqpncqjps6p5fwedjbcq

A Study on Software Reverse Engineering-An Overview of its Applications

Akanksha Jha, Rachana K, Ilango Paramasivam
2017 International Journal of Software Engineering and Its Applications  
Although prevalent, this method has resulted in neglecting the final stages of development such as maintenance and evolution.  ...  Initially, it was introduced and used just for the modernization of old legacy systems. With time, the usage of software reverse engineering has become more extensive.  ...  International Journal of Software Engineering and Its Application Vol. 11, No.5 (2017)  ... 
doi:10.14257/ijseia.2017.11.5.03 fatcat:666c5gpxzfbxjgtee65tsukixa

Using Electronic Documents for Knowledge Acquisition and Model Maintenance [chapter]

Martin Molina, Gemma Blasco
2003 Lecture Notes in Computer Science  
Knowledge acquisition and model maintenance are key problems in knowledge engineering to improve the productivity in the development of intelligent systems.  ...  end-users and problem solvers.  ...  Hidrográfica del Júcar and Conf. Hidrográfica del Sur de España).  ... 
doi:10.1007/978-3-540-45226-3_184 fatcat:esdxycovbfdonehxn5neo27sp4

Unified V- Model Approach of Re-Engineering to reinforce Web Application Development

Poonam Dhiman
2013 IOSR Journal of Computer Engineering  
The diverse and dynamic nature of elements and techniques used to develop Web Application, due to the lack of testing technique and effective programming principles which are used for implementing basic  ...  In this paper we present the processing of V-model for Reengineering in web application which is the extension of Vmodel used in software domain.  ...  Using the UWA methodology, the transaction design process produces two conceptual models: the Organization Model and the Execution Model.  ... 
doi:10.9790/0661-1560917 fatcat:efa4e6vuw5azpogen4he2eqv5u

Behavior modeling and automated verification of Web services

Quan Z. Sheng, Zakaria Maamar, Lina Yao, Claudia Szabo, Scott Bourne
2014 Information Sciences  
We also propose an automated service verification approach based on symbolic model checking.  ...  Our approach includes a new Web service model that separates service behaviors into operational and control behaviors.  ...  Section 2 describes the details of our new Web service behavior model. Section 3 presents a symbolic model checking approach for verifying service designs.  ... 
doi:10.1016/j.ins.2012.09.016 fatcat:zp6saxdo5nep3op5u7fg6gynou

Enhancing Web Navigation Appropriateness by Correlating Actual and Predictable Practice

Ashwini R
2016 International Journal Of Engineering And Computer Science  
Index Terms-Cognitive user model, sessionization, software tool, test oracle, usability, usage pattern, Web server log.  ...  The comparison is performed via the mechanism of test oracle for checking results and identifying user navigation difficulties.  ...  Event models can be built by Web designers or domain experts based on the use cases in the requirements for the Web application.  ... 
doi:10.18535/ijecs/v5i5.10 fatcat:vlq6cdgwqnfd5ccklwfdyo4w7a

Modeling and verification of adaptive navigation in web applications

Minmin Han, Christine Hofmeister
2006 Proceedings of the 6th international conference on Web engineering - ICWE '06  
We summarize the kinds of properties that can be checked with such a model, and describe how to use the Symbolic Model Verifier (SMV) tool to perform the verification.  ...  In this paper we present an approach that uses Statecharts to formally model adaptive navigation, and show how important properties of a navigation model are verified using existing model-checking tools  ...  , and uses the Symbolic Model Verifier (SMV) tool to check the correctness of a navigation model.  ... 
doi:10.1145/1145581.1145645 dblp:conf/icwe/HanH06 fatcat:lbxhe5e3hffw3jkgdu2qi63bpy

Development of BIM-Based Bridge Maintenance System Considering Maintenance Data Schema and Information System

Namju Byun, Whi Seok Han, Young Woong Kwon, Young Jong Kang
2021 Sustainability  
In addition, a web data management program (WDMP) was developed using the maintenance data schema and information system, and was connected with the Midas CIM, which is a 3D modeling program.  ...  Bridge management systems (BMSs) have been constructed and operated globally to maintain the originally designed structural performance and to overcome the inefficiency of maintenance practices for existing  ...  Institutional Review Board Statement: Not applicable. Informed Consent Statement: Not applicable. Data Availability Statement: Not applicable.  ... 
doi:10.3390/su13094858 doaj:9f5e93d26ff04938b8ea200bcde72c39 fatcat:ufn2lai47zbkrdgiwy62gmoqky

Constructing meta-CASE workbenches by exploiting visual language generators

G. Costagliola, V. Deufemia, F. Ferrucci, C. Gravino
2006 IEEE Transactions on Software Engineering  
The Workbench Generator (WoG) allows designers to specify the target workbench by means of a process model given in terms of a suitable activity diagram.  ...  Environments for single visual languages are generated by using the Modeling Language Environment Generator (MEG), which follows a metamodel/grammar-approach.  ...  ACKNOWLEDGMENTS The authors would like to thank the referees for their helpful comments and suggestions, and the Systemwire Company for allowing us to use the xlinkit package.  ... 
doi:10.1109/tse.2006.23 fatcat:p335p3ucajc2vgenqxxk4gri2q

Design of Web-Based Material Management Information System in Financial Module (Case Study PT INTI)

Selvyananda Adelita Vanesia, Rachmadita Andreswari, Faishal Mufied Al Anshary
2018 International Journal of Innovation in Enterprise System  
INTI Maintenance web-based information system financial module is built with open source software that uses PHP as the programming language, MySQL as the database, and Windows as server computer.  ...  To overcome this, PT INTI wants to have a web based application called INTI Maintenance to manage financial materials such as material input, material search, material removal, material search, material  ...  [5] II.5.UML UML (Unified Modeling Language) is a standard modeling language that is usually a symbol and a diagram to model, visualize, specify, and document an Object-Oriented-based software development  ... 
doi:10.25124/ijies.v2i02.23 fatcat:x62pxpea65cxji4ye4hlzbx5dy

SensorMon: An Internet-of-Things System for Maintaining and Monitoring Sensor Device

Changfeng Jing, Meng Dong, Mingyi Du, Jian Wang, Yanli Zhu
2019 Sensors and materials  
The proposed method and implementation have potential applications in the IoT environment.  ...  The composition method is based on the integration of multiple graph layers into a new composition symbol, which uses only a few simple graphs to represent various sensors.  ...  for Future Urban Design (Grants nos.  ... 
doi:10.18494/sam.2019.2401 fatcat:efjc3tsqhbc7bhvdcxaathovf4

RefPrimeCouch—a reference gene primer CouchApp

Jascha Silbermann, Catrin Wernicke, Heike Pospisil, Marcus Frohme
2013 Database: The Journal of Biological Databases and Curation  
Acknowledgements The authors thank Stephanie Michel and Nadine Jork for research and curation work, and Christoph Standfuß for technical support in setting up the CouchDB installation.  ...  Web application and user interface.  ...  To build the web application, a number of standardized components were used. The popular HTML5 Reset (7) template was used as the basis for the web application HTML5 + CSS code.  ... 
doi:10.1093/database/bat081 pmid:24368831 pmcid:PMC3871799 fatcat:mwm2eq7k2vcblgtsly2fpqswmu

Performance Measurement for Construction CALS Application of Ubiquitous Technology Using the Process Chart Method

Tae Hak Kim, Seong Yun Jeong
2013 Open Journal of Social Sciences  
Chart using techniques with detailed exhibition features, and will want to conduct quantitative performance measurement.  ...  The application possibility of the high-tech IT technique in the construction industry is increasing.  ...  Operation and Technical Improvement of the Construction CALS System (II)] by the Ministry of Land, Infrastructure and Transport.  ... 
doi:10.4236/jss.2013.15002 fatcat:wddiuooblbbuffnp5rmogfbz5y
« Previous Showing results 1 — 15 out of 31,037 results