A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Formal Approach to Website Maintenance
2007
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Preserved Fulltext
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
RESTAURANT MENU DESIGN MUARO NEW SAND JAMAK
2021
Dinasti International Journal of Digital Business Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Software Engineering and Its Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2013
IOSR Journal of Computer Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal Of Engineering And Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 6th international conference on Web engineering - ICWE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2021
Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2006
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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)
2018
International Journal of Innovation in Enterprise System
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Sensors and materials
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Database: The Journal of Biological Databases and Curation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Open Journal of Social Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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