zhensong's software_engineering [13 articles] Export

Recent papers added to zhensong's library classified by the tag software_engineering. You can also see everyone's software_engineering.

Hide details

	Patterns, frameworks, and middleware: their synergistic relationships [My Copy] Software Engineering, 2003. Proceedings. 25th International Conference on In Software Engineering, 2003. Proceedings. 25th International Conference on (28 May 2003), pp. 694-704. by D. C. Schmidt, F. Buschmann posted to software_pattern software_engineering pj_esoa middleware by zhensong on 2009-10-30 15:37:41 as along with 1 person simmcast
	A Formal Object-Oriented Analysis for Software Reliability Design for Verification [My Copy] In IN PROC. FASE (2001), pp. 318-332. by Natasha Sharygina, James C. Browne, Robert P. Kurshan posted to software_engineering model_checking by zhensong on 2009-10-01 16:22:45 as
	Using CMMI for software requirements testing in system design & development \| Industrial Control Designline [My Copy] by Brian Hooper posted to vav software_engineering by zhensong on 2009-09-24 12:58:52 as
	The Esterel Synchronous Programming Language: Design, Semantics, Implementation [My Copy] (1992) by Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place S. Laltte posted to software_engineering programming_language_design cps by zhensong on 2009-09-23 20:27:26 as
	Software Practice in the Ptolemy [My Copy] (April 1999) by John Reekie, Stephen Neuendorffer, Christopher Hylands, Edward A. Lee posted to software_engineering by zhensong on 2009-09-23 20:18:44 as
	Design Patterns: Elements of Reusable Object-Oriented Software [My Copy] (10 November 1994) by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides posted to software_engineering by zhensong on 2009-09-17 21:19:22 as along with 83 people and 12 groups mperalta ehjuerrens ingo laurobeltrao thermostat ekoenig eddymier mabi shimomura deslocator JavaJoe mxro jvb proborc pverstra mchinen dada42 simmcast martinrytter billkidwell robert85 negola Lewisham BelliOS pprett plaugg fmatthes elsantosneto hmeyer ujh creswick lfk 4vgacias swakefield yish bkohler bfraser ikbeneyal ddahlem dullhunk leomagela eldaly ilya aku8000 ChristianGraf cerkut brady digitaldust elferdo mzygmunt vazquezger GregorSuhr anitabanerji fmc cekay Starkilla francolq xanthos tristan_carel MortMan flobr kklo JuliusDegesys mldechert mavdzee tvolland CVertex flgeyer germoglio Wurlitzer sergiocabrero gvdh agupta0318 srccheck Torsten_Holmer robertlischke eabait GuAlex klinsz sven_luzar poths drakkos69 dmeister Information Integration Architecture Wikipedia mathgamespatterns dtl vds-arg STS OpenVanilla eni localization Software-Architecture contact-id gk-intern
	CMMI for Software Engineering, Version 1.1, Staged Representation (CMMI-SW, V1.1, Staged) [My Copy] by U. Cm posted to software_engineering software by zhensong on 2009-09-03 16:02:27 as
	Code Complete: A Practical Handbook of Software Construction [My Copy] (07 July 2004) by Steve McConnell posted to software_engineering pj_onr by zhensong on 2009-08-19 01:32:29 as along with 14 people and 1 group merezano fheintz chrishmorris lostcoder turker pajoma BarrosH dullhunk anitabanerji kklo mmeteo robertlischke GuAlex germoglio musil
	Thorough static analysis of device drivers [My Copy] SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85. by Thomas Ball, Ella Bounimova, Byron Cook, et al.Vladimir Levin, Jakob Lichtenberg, Con Mcgarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner posted to model_checking cps software_engineering by zhensong on 2009-08-06 17:01:51 as along with 2 people pedagand srccheck
	After the successful use of SCADE on the A340, AIRBUS adopted it for several A380 projects [My Copy] posted to model_checking cps software_engineering by zhensong on 2009-08-06 16:55:55 as
	Static Driver Verifier [My Copy] by Microsoft posted to model_checking cps software_engineering by zhensong on 2009-08-06 16:52:20 as
	Software engineering and middleware: a roadmap [My Copy] In ICSE - Future of {SE} Track (2000), pp. 117-129. by Wolfgang Emmerich posted to architecture middleware software_engineering pj_esoa pj_onr by zhensong on 2009-08-06 14:58:19 as along with 2 people and 1 group nogara sro mwlab
	Professional Software Development: Shorter Schedules, Higher Quality Products, More Successful Projects, Enhanced Careers [My Copy] (30 June 2003) by Steve Mcconnell posted to software_engineering by zhensong on 2009-02-12 05:59:07 as along with 1 person padraic

Note: You may cite this page as: http://www.citeulike.org/user/zhensong/tag/software_engineering

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

model_checking	103
control	54
pj_onr	50
wsn	36
pj_esoa	35
pj_ji	31
cps	30
sensor	27
vav	24
middleware	19
uwb	18
radar	17
hvac	15
sensor-network	13
software_engineering	13
automation	12
smart_grid	12
ots	11
pebb	11
performance	11
pj_foa115	11
power	11
localization	10
resilient	10
vtb	10
simulation	9
software	9
ieee_1451	8
plc	8
programming	8
power-grid	7
soa	7
agent	6
network	6
wikipedia	6
functional_models	5
haptic	5
haptic_feedback	5
mir	5
programming_by_demonstration	5
research	5
routing	5
virtualization	5
concurrent	4
optimization	4
patent	4
pbd	4
architecture	3
consensus	3
estimation	3
hybrid_system	3
hybrid-system	3
mesh-networks	3
model_checker	3
ncs	3
pid	3
programming_by_example	3
protocol	3
robotics	3
smart_sensor	3
synchronization	3
adaptive	2
apprenticeship	2
business	2
chemical_sniffer	2
control_algorithm	2
cs	2
explosive_detection	2
leak_detection_methods	2
leaks	2
manet	2
motion_control	2
opc	2
open-source	2
pbe	2
pj_inverter	2
pj_vav	2
pj_wsplc	2
power_grid	2
resilient_control	2
routing-metrics	2
sensor-networks	2
temportal_logic	2
adaptive_control	1
adrc	1
antenna	1
bayesian	1
bim	1
career	1
complexity_theory	1
container	1
electrical_shop	1
embedded_system	1
energy	1
fsm	1
iec61508	1
ilc	1
inverse_reinforcement_learning	1
ips	1
landmark	1
learning_from_demonstration	1
manufacturing_system	1
markov	1
mobile	1
petri_net	1
plm	1
power_converters	1
power_networks	1
power_quality	1
programming_language_design	1
resilient_overlay_networks	1
robot	1
robust_adaptive_control	1
rtls	1
sar	1
security	1
senaor	1
software_certification	1
software_pattern	1
ssp	1
wind_turbine	1
wind_turbine_control	1
zhangnonlinearresilientfunc	1

zhensong's software_engineering [13 articles] Export

zhensong's tags